dk.brics.string.intermediate
Class StringInit

java.lang.Object
  dk.brics.string.intermediate.Statement
      dk.brics.string.intermediate.StringStatement
          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.