Packages

c

info.kwarc.mmt.mizar.objects

OldXMLRedefinition

class OldXMLRedefinition extends OldXMLDefinition

Source
Definition.scala
Linear Supertypes
OldXMLDefinition, MizAny, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OldXMLRedefinition
  2. OldXMLDefinition
  3. MizAny
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OldXMLRedefinition(aid: String, kind: String, nr: Int, relnr: Int, argTypes: List[MizTyp], retType: Option[MizTyp], constraid: String, constrabsnr: Int)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val aid: String
    Definition Classes
    OldXMLDefinition
  5. val argTypes: List[MizTyp]
    Definition Classes
    OldXMLDefinition
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. val constrabsnr: Int
  9. val constraid: String
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. val kind: String
    Definition Classes
    OldXMLDefinition
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. val nr: Int
    Definition Classes
    OldXMLDefinition
  21. var premises: List[MizLet]
    Definition Classes
    OldXMLDefinition
  22. val relnr: Int
    Definition Classes
    OldXMLDefinition
  23. def resolveArgs(): Option[List[(Option[String], MizTyp)]]
    Definition Classes
    OldXMLDefinition
  24. val retType: Option[MizTyp]
    Definition Classes
    OldXMLDefinition
  25. def setPremises(p: List[MizLet]): Unit
    Definition Classes
    OldXMLDefinition
  26. val sreg: Option[SourceRegion]
    Definition Classes
    MizAny
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from OldXMLDefinition

Inherited from MizAny

Inherited from AnyRef

Inherited from Any

Ungrouped