コード例 #1
0
 public virtual ProgramState PreProcessUsingStatement(ProgramPoint programPoint, ProgramState programState)
 {
     return(programState);
 }
コード例 #2
0
 public virtual ProgramState PreProcessInstruction(ProgramPoint programPoint, ProgramState programState)
 {
     return(programState);
 }
コード例 #3
0
 public ExplodedGraphNode(ProgramPoint programPoint, ProgramState programState)
 {
     ProgramState = programState;
     ProgramPoint = programPoint;
 }