コード例 #1
0
 private static Formal SnapshotGlobalFormal(CivlTypeChecker civlTypeChecker, Variable v)
 {
     return(civlTypeChecker.Formal($"snapshot_{v.Name}", v.TypedIdent.Type, true));
 }
コード例 #2
0
 private Formal OldGlobalFormal(Variable v)
 {
     return(civlTypeChecker.Formal($"global_old_{v.Name}", v.TypedIdent.Type, true));
 }