edu.usc.alfa.xalfa.ast.automata
Class AutomataBehavioralConstraintNode

java.lang.Object
  extended byedu.usc.alfa.xalfa.ast.Node
      extended byedu.usc.alfa.xalfa.ast.primitive.BehavioralConstraintNode
          extended byedu.usc.alfa.xalfa.ast.automata.AutomataBehavioralConstraintNode

public final class AutomataBehavioralConstraintNode
extends BehavioralConstraintNode

Specifies behavioral constraints using CoLa


Constructor Summary
AutomataBehavioralConstraintNode(java.lang.String ID, java.lang.String expression)
          Creates a new instance of AutomataBehaviorConstraintNode
 
Method Summary
 void accept(edu.usc.alfa.xalfa.visitor.NodeVisitor v)
          The visitor method to analyze xAlfa objects.
 java.lang.String getExpression()
          Getter for property expression.
 java.lang.String toDebugString()
           
 
Methods inherited from class edu.usc.alfa.xalfa.ast.primitive.BehavioralConstraintNode
toDebugString
 
Methods inherited from class edu.usc.alfa.xalfa.ast.Node
equals, getID, getTabs, hashCode, nodeSequenceString, nodeSequenceString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AutomataBehavioralConstraintNode

public AutomataBehavioralConstraintNode(java.lang.String ID,
                                        java.lang.String expression)
Creates a new instance of AutomataBehaviorConstraintNode

Method Detail

accept

public void accept(edu.usc.alfa.xalfa.visitor.NodeVisitor v)
Description copied from class: Node
The visitor method to analyze xAlfa objects. This method is part of the Visitor pattern from GOF.

Specified by:
accept in class BehavioralConstraintNode

toDebugString

public java.lang.String toDebugString()
Overrides:
toDebugString in class Node
Returns:

getExpression

public java.lang.String getExpression()
Getter for property expression.

Returns:
Value of property expression.