Exemplo n.º 1
0
 private static void TopStmtTyCheck_ParamsDecl(KStatement stmt, Syntax syn, KGamma gma)
 {
     throw new NotImplementedException();
 }
Exemplo n.º 2
0
 public static void ExprTyCheck_Expr(KStatement stmt, Syntax syn, KGamma gma)
 {
     throw new NotImplementedException();
 }
Exemplo n.º 3
0
 private static void ExprTyCheck_MethodCall(KStatement stmt, Syntax syn, KGamma gma)
 {
     throw new NotImplementedException();
 }