public virtual ProgramState PreProcessUsingStatement(ProgramPoint programPoint, ProgramState programState)
{
return(programState);
}
public virtual ProgramState PreProcessInstruction(ProgramPoint programPoint, ProgramState programState)
{
return(programState);
}
public ExplodedGraphNode(ProgramPoint programPoint, ProgramState programState)
{
ProgramState = programState;
ProgramPoint = programPoint;
}