Class Goal

  • All Implemented Interfaces:
    java.lang.Cloneable, Parser.Symbol

    public class Goal
    extends GDecl
    implements java.lang.Cloneable
    • Field Detail

      • tokenString_Name

        protected java.lang.String tokenString_Name
    • Constructor Detail

      • Goal

        public Goal()
    • Method Detail

      • init$Children

        public void init$Children()
        Initializes the child array to the correct size. Initializes List and Opt nta children.
        Overrides:
        init$Children in class GDecl
      • numChildren

        protected int numChildren()
        Overrides:
        numChildren in class GDecl
      • clone

        public Goal clone()
                   throws java.lang.CloneNotSupportedException
        Overrides:
        clone in class GDecl
        Throws:
        java.lang.CloneNotSupportedException
      • fullCopy

        @Deprecated
        public Goal fullCopy()
        Deprecated.
        Please use treeCopy or treeCopyNoTransform instead
        Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
        Specified by:
        fullCopy in class GDecl
        Returns:
        dangling copy of the subtree at this node
      • treeCopyNoTransform

        public Goal treeCopyNoTransform()
        Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
        Specified by:
        treeCopyNoTransform in class GDecl
        Returns:
        dangling copy of the subtree at this node
      • treeCopy

        public Goal treeCopy()
        Create a deep copy of the AST subtree at this node. The subtree of this node is traversed to trigger rewrites before copy. The copy is dangling, i.e. has no parent.
        Specified by:
        treeCopy in class GDecl
        Returns:
        dangling copy of the subtree at this node
      • setName

        public void setName​(java.lang.String value)
        Replaces the lexeme Name.
        Parameters:
        value - The new value for the lexeme Name.
      • getName

        @Token(name="Name")
        public java.lang.String getName()
        Retrieves the value for the lexeme Name.
        Returns:
        The value for the lexeme Name.