Class NameSpecDef


  • public class NameSpecDef
    extends Def
    • Constructor Detail

      • NameSpecDef

        public NameSpecDef​(java.lang.String name,
                           NameSpec nameSpec)
    • Method Detail

      • getNameSpec

        public NameSpec getNameSpec()
      • accept

        public void accept​(TopLevelVisitor visitor)
                    throws java.lang.Exception
        Specified by:
        accept in class TopLevel
        Throws:
        java.lang.Exception