C# (CSharp) de.unika.ipd.grGen.libGr SequenceCheckingEnvironment.CheckProcedureMethodCall 예제들

예제 #1

파일: SequenceComputation.cs 프로젝트: jblomer/GrGen.NET

 public override void Check(SequenceCheckingEnvironment env)
 {
     if(TargetExpr != null)
         env.CheckProcedureMethodCall(TargetExpr, this);
     else
         env.CheckProcedureMethodCall(TargetVar, this);
 }