Interface for qBeta module object

Origin: Compiler

AST: obj  compiler_IF.Tree

   %visible compiler_IF

   node: TopNode

      doPT: 

         in mk: var Boolean

         out S: ref Text

      PT:: 

         mkBreak:: 

         mkBreak0: mkBreak

         mkBreak1:break: mkBreak(pos,break)

            -- skip

            --lx.put('(')

            --lx.append(I2S(pos))

            --lx.put(')')

            

      length:< 

         out V: var integer

      label:< 

         out lab: ref String

      scanSons: 

         current: ref Node

         first: var Boolean

      noOfSons: 

         out V: var integer

      isObjectInvocation:< 

         out V: var Boolean

   Property:args:< Node

      PT:: 

      length:: 

      label:: 

   PropertyArgs:< node

      PT:: 

         i: var integer

      length:: 

      label:: 

   Decl:OG: Node

      setSig: 

   SuperDataItem:OG: Decl:OG

   Module:OG: SuperDataItem:OG

      pt:: 

      label:: 

   DataItem:isValue:sig:OG: SuperDataItem:OG

      PT:: 

      label:: 

   LabelDecl:OG: Decl:OG

      -- if LabelDecl is declared virtual, pLabelDecl fails with no entry in VDT

      PT:: 

      label:: 

   plainPtn: val 

   virtualPtn: val 

   furtherPtn: val 

   finalPtn: val 

   Pattern:OG:kind: Decl:OG

      PT:: 

      label:: 

   PatternGen:OG:kind: 

      out ptn: ref Pattern:OG:kind

   Signature:args: Node

      PT::< 

      label:: 

   Arguments: Node

      PT:: 

         i: var integer

      label:: 

      id: ref String

      isBinary: var Boolean

      inBraces: 

         out V: var Boolean

         S: ref String

         Sx: ref String

      separators: obj IndexedRef(,#Object)

      sTop: var integer

      addSep: 

      putSep: 

         S: ref String

   ObjectGenerator:items: Node

      PT:: 

         ind: var integer

      label:: 

   Invocation: Node

      PT:: 

      label:: 

      length:: 

      isEmpty: var Boolean

   Items: Node

      isEmpty: var Boolean

      PT:: 

      label:: 

   Apl: Node

      ATd: ref Decl:OG

      on: var integer

      pn: var integer

   Exp: Apl

      dot:< 

         out T: ref string

      args: ref Arguments

      isEmpty: var Boolean

   ObjectInvocation:< Exp

      PT::< 

      label:: 

      dot:: 

      ptnId: ref Name

      type: ref InvType

      InvType: Node

         dot:< 

            out T: ref String

      Unary: InvType

         PT:: 

         label:: 

      Binary: InvType

         PT:: 

         label:: 

         dot:: 

      KeyWord: InvType

         PT:: 

         label:: 

         dot:: 

      isObjectInvocation:: 

   OI_Generator: 

      in id: ref String

      in A: ref Arguments

      out OI: ref ObjectInvocation

   UnaryGen: OI_Generator

   KeyWordGen: OI_Generator

   BinaryGen: OI_Generator

   Lexem: Exp

      in T: ref String

   Name: Lexem

      PT:: 

      length:: 

      label:: 

   Const: Lexem

      PT:: 

      length:: 

      label:: 

   FloatConst:< Lexem

      PT:: 

      length:: 

      label:: 

   StringSy: Lexem

      PT:: 

      length:: 

      label::