Пример #1
0
 private static void TopStmtTyCheck_ParamsDecl(KStatement stmt, Syntax syn, KGamma gma)
 {
     throw new NotImplementedException();
 }
Пример #2
0
 public static void ExprTyCheck_Expr(KStatement stmt, Syntax syn, KGamma gma)
 {
     throw new NotImplementedException();
 }
Пример #3
0
 private static void ExprTyCheck_MethodCall(KStatement stmt, Syntax syn, KGamma gma)
 {
     throw new NotImplementedException();
 }