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

java.lang.Object
  extended byedu.usc.alfa.xalfa.ast.Node
      extended byedu.usc.alfa.xalfa.ast.primitive.StructuralConstraintNode
          extended byedu.usc.alfa.xalfa.ast.alloy.AlloyDefinitionNode

public final class AlloyDefinitionNode
extends StructuralConstraintNode

Specifies structural shorthand definitions using Alloy.


Constructor Summary
AlloyDefinitionNode(java.lang.String ID, java.lang.String name, java.lang.String type, boolean multiple, java.lang.String expression)
          Creates a new instance of ShorthandDefinitionNode
 
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 getShorthand()
          Getter for property shorthand.
 java.lang.String getType()
          Getter for property type.
 boolean isMultiple()
          Getter for property multiple.
 java.lang.String toDebugString()
           
 
Methods inherited from class edu.usc.alfa.xalfa.ast.primitive.StructuralConstraintNode
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

AlloyDefinitionNode

public AlloyDefinitionNode(java.lang.String ID,
                           java.lang.String name,
                           java.lang.String type,
                           boolean multiple,
                           java.lang.String expression)
Creates a new instance of ShorthandDefinitionNode

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 StructuralConstraintNode

getShorthand

public java.lang.String getShorthand()
Getter for property shorthand.

Returns:
Value of property shorthand.

getType

public java.lang.String getType()
Getter for property type.

Returns:
Value of property type.

getExpression

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

Returns:
Value of property expression.

toDebugString

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

isMultiple

public boolean isMultiple()
Getter for property multiple.

Returns:
Value of property multiple.