Packages

c

info.kwarc.mmt.mizar.objects

XMLDefinition

class XMLDefinition extends MizAny

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

Instance Constructors

  1. new XMLDefinition(defBlockNr: Int, kind: String, constr: Option[XMLConstructor], pattern: Option[XMLPattern], isRedef: Boolean, isExp: Boolean)

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 absconstrnr: Int
  5. def aid: String
  6. def args: Option[List[(Option[String], MizTyp)]]
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. val constr: Option[XMLConstructor]
  10. val constraid: String
  11. val constrkind: String
  12. val constrnr: Int
  13. val defBlockNr: Int
  14. def defaid: String
  15. var definiens: Option[XMLDefiniens]
  16. def defnr: Int
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  19. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def getExpansion: MizTyp
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. val isExp: Boolean
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. val isRedef: Boolean
  26. def isSuperfluous: Boolean
  27. val kind: String
  28. def name: Option[String]
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. val pattern: Option[XMLPattern]
  33. def patternNr: Int
  34. var premises: List[MizLet]
  35. def retType: MizTyp
  36. def retTypeO: Option[MizTyp]
  37. def setDefiniens(df: Option[XMLDefiniens]): Unit
  38. val sreg: Option[SourceRegion]
    Definition Classes
    MizAny
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from MizAny

Inherited from AnyRef

Inherited from Any

Ungrouped