예제 #1
0
 public override void Check(SequenceCheckingEnvironment env)
 {
     env.CheckProcedureCall(this);
     IsExternalProcedureCalled = env.IsProcedureCallExternal(ParamBindings);
 }