edu.usc.alfa.xalfa.ast.alloy
Class AlloyTopologyConstraintNode

java.lang.Object
  extended byedu.usc.alfa.xalfa.ast.Node
      extended byedu.usc.alfa.xalfa.ast.composition.TopologyConstraintNode
          extended byedu.usc.alfa.xalfa.ast.alloy.AlloyTopologyConstraintNode

public final class AlloyTopologyConstraintNode
extends TopologyConstraintNode

Specifies topology constraints using Alloy.


Constructor Summary
AlloyTopologyConstraintNode(java.lang.String ID, java.lang.String expression)
          Creates a new instance of AlloyStructureConstraintNode
 
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 expressions.
 
Methods inherited from class edu.usc.alfa.xalfa.ast.composition.TopologyConstraintNode
toDebugString
 
Methods inherited from class edu.usc.alfa.xalfa.ast.Node
equals, getID, getTabs, hashCode, nodeSequenceString, nodeSequenceString, toDebugString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AlloyTopologyConstraintNode

public AlloyTopologyConstraintNode(java.lang.String ID,
                                   java.lang.String expression)
Creates a new instance of AlloyStructureConstraintNode

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 TopologyConstraintNode

getExpression

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

Returns:
Value of property expressions.