|
private static ExprTyCheck_MethodCall ( |
||
| stmt | ||
| syn | ||
| gma | KGamma | |
| return | void | |
private static void ExprTyCheck_MethodCall(KStatement stmt, Syntax syn, KGamma gma)
{
throw new NotImplementedException();
}