dk.brics.string.intermediate
Class StringInit

java.lang.Object
  extended by dk.brics.string.intermediate.Statement
      extended by dk.brics.string.intermediate.StringStatement
          extended by dk.brics.string.intermediate.StringInit
All Implemented Interfaces:
Comparable<Statement>

public class StringInit
extends StringStatement

Initialization of a string by a value in some regular set.


Field Summary
 Automaton regexp
          The set of possible values assigned.
 
Fields inherited from class dk.brics.string.intermediate.StringStatement
to
 
Constructor Summary
StringInit(Variable to, Automaton regexp)
           
 
Method Summary
 void visitBy(StatementVisitor v)
          Visit this statement by the given statement visitor.
 
Methods inherited from class dk.brics.string.intermediate.Statement
addSucc, addSuccIfAbsent, compareTo, getIndex, getMethod, getPreds, getSuccs, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

regexp

public Automaton regexp
The set of possible values assigned.

Constructor Detail

StringInit

public StringInit(Variable to,
                  Automaton regexp)
Method Detail

visitBy

public void visitBy(StatementVisitor v)
Description copied from class: Statement
Visit this statement by the given statement visitor. This will invoke the corresponding method in the visitor.

Specified by:
visitBy in class Statement
Parameters:
v - the visitor.


Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.