Ejemplo n.º 1
0
 public GNode(NODE node, GNode predecessor, SCFGBuilder builder)
 {
     this.astNode = node;
     successors   = new LinkedList <GNode>();
     if (predecessor != null)
     {
         predecessor.successors.AddLast(this);
     }
     builder.allNodes.AddLast(this);
 }
Ejemplo n.º 2
0
 public ProtocolValidator(SCFGBuilder scfg, PROTOCOL_DECL aprot)
 {
     this.scfg  = scfg;
     this.aprot = aprot;
 }