Class OverriddenDef


  • public class OverriddenDef
    extends TopLevel
    • Constructor Detail

      • OverriddenDef

        public OverriddenDef​(Def def,
                             boolean duplicate)
    • Method Detail

      • getDef

        public Def getDef()
      • isDuplicate

        public boolean isDuplicate()
      • accept

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