package Ġedu . cit adel . c pr l . ast ĊĊ Ċ import Ġedu . cit adel . compiler . Constraint Exception Ċ import Ġedu . cit adel . compiler . ErrorHandler Ċ import Ġedu . cit adel . c pr l . Token ĊĊ Ċ /** Ċ Ġ* ĠThe Ġabstract Ġsyntax Ġtree Ġnode Ġfor Ġa Ġprocedure Ġcall Ġstatement . Ċ Ġ* Ċ Ġ* Ġ@ constructor ĠConstruct Ġa Ġprocedure Ġcall Ġstatement Ġwith Ġits Ġname Ġtoken , Ġthe Ċ Ġ* ĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġlist Ġof Ġactual Ġparameters Ġbeing Ġpassed Ġas Ġpart Ġof Ġthe Ġcall , Ċ Ġ* ĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġand Ġa Ġreference Ġto Ġthe Ġdeclaration Ġof Ġthe Ġprocedure Ġbeing Ġcalled . Ċ Ġ*/ Ċ class ĠProcedure Call Stmt ( private Ġval Ġproc Id ĠĠ Ġ: ĠToken , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġactual Params Ġ: ĠList < Expression >, ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġprivate Ġval Ġproc Decl Ġ: ĠProcedure Decl ) ĊĠĠĠ Ġ: ĠStatement () ĊĠ Ġ{ ĊĠĠĠ Ġ// ĠWe Ġneed Ġa Ġmutable Ġlist Ġsince , Ġfor Ġvar Ġparameters , Ġwe ĊĠĠĠ Ġ// Ġneed Ġto Ġreplace Ġnamed Ġvalues Ġby Ġvariables ĊĠĠĠ Ġval Ġactual Params Ġ: ĠMutable List < Expression > Ġ= Ġactual Params . to Mutable List () ĊĊĊĠĠĠ Ġoverride Ġfun Ġcheck Constraints () ĊĠĠĠĠĠ Ġ{ Ċ // Ġ... ĊĠĠĠĠĠ Ġ} ĊĊĊĠĠĠ Ġoverride Ġfun Ġemit () ĊĠĠĠĠĠ Ġ{ Ċ // Ġ... ĊĠĠĠĠĠ Ġ} ĊĠ Ġ} Ċ