Class AnnotatedParseTree


  • public final class AnnotatedParseTree
    extends java.lang.Object
    The ParseTree class is used to hold the root AnnotatedStatement generated by the TypeChecker.

    When the TypeChecker creates a series of AnnotatedStatement objects, the root is held here in the form of an AnnotatedParseTree. Typically, this will be an AnnotatedSourceStatement object, but any child of the AnnotatedStatement interface is valid.

    Since:
    1.0
    • Constructor Summary

      Constructors 
      Constructor Description
      AnnotatedParseTree​(AnnotatedStatement statement)
      Constructs an AnnotatedParseTree for storing an AnnotatedStatement object.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AnnotatedParseTree

        public AnnotatedParseTree​(AnnotatedStatement statement)
        Constructs an AnnotatedParseTree for storing an AnnotatedStatement object.

        The class is initialised solely with parameters passed to it.

        Parameters:
        statement - The AnnotatedStatement root object to be stored