Packages

c

info.kwarc.mmt.imps

DefFormParsers

class DefFormParsers extends AnyRef

Source
DefFormParsers.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DefFormParsers
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DefFormParsers(js: List[JSONObject])

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 allDefFormParsers: List[ParserWithSourcePosition.Parser[DefForm]]
  5. val allMSpecs: List[ParserWithSourcePosition.Parser[MaceteSpec]]
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def balance(chars: List[Char], level: Int = 0): Boolean
  8. lazy val bracketed: ParserWithSourcePosition.Parser[String]
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  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. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. lazy val number: ParserWithSourcePosition.Parser[Int]
  20. lazy val pAlgebraicProcessor: ParserWithSourcePosition.Parser[DFAlgebraicProcessor]
  21. val pAtomicSort: ParserWithSourcePosition.Parser[DFAtomicSort]
  22. lazy val pComment: ParserWithSourcePosition.Parser[DFComment]
  23. val pCompoundMacete: ParserWithSourcePosition.Parser[DFCompoundMacete]
  24. val pConstant: ParserWithSourcePosition.Parser[DFConstant]
  25. lazy val pDefine: ParserWithSourcePosition.Parser[Define]
  26. lazy val pEnsembleDontTranslateConst: ParserWithSourcePosition.Parser[EnsembleDontTranslateConst]
  27. val pHeralding: ParserWithSourcePosition.Parser[Heralding]
  28. val pImportedRewriteRules: ParserWithSourcePosition.Parser[DFImportedRewriteRules]
  29. lazy val pIncludeFiles: ParserWithSourcePosition.Parser[DFIncludeFiles]
  30. val pInductor: ParserWithSourcePosition.Parser[DFInductor]
  31. val pLanguage: ParserWithSourcePosition.Parser[DFLanguage]
  32. lazy val pLoadSection: ParserWithSourcePosition.Parser[DFLoadSection]
  33. lazy val pOrderProcessors: ParserWithSourcePosition.Parser[DFOrderProcessor]
  34. lazy val pOverloading: ParserWithSourcePosition.Parser[DFOverloading]
  35. val pParseSyntax: ParserWithSourcePosition.Parser[DFParseSyntax]
  36. val pPrintSyntax: ParserWithSourcePosition.Parser[DFPrintSyntax]
  37. lazy val pQCConstantlike: ParserWithSourcePosition.Parser[QCConstantlike]
  38. val pQuasiConstructor: ParserWithSourcePosition.Parser[DFQuasiConstructor]
  39. lazy val pRecursiveConstant: ParserWithSourcePosition.Parser[DFRecursiveConstant]
  40. val pRenamer: ParserWithSourcePosition.Parser[DFRenamer]
  41. val pSchematicMacete: ParserWithSourcePosition.Parser[DFSchematicMacete]
  42. lazy val pScript: ParserWithSourcePosition.Parser[DFScript]
  43. lazy val pSection: ParserWithSourcePosition.Parser[DFSection]
  44. lazy val pSet: ParserWithSourcePosition.Parser[ArgSet]
  45. lazy val pSimplog1stWrapper: ParserWithSourcePosition.Parser[Simplog1stWrapper]
  46. lazy val pTeXCorrespondence: ParserWithSourcePosition.Parser[TeXCorrespondence]
  47. val pTheorem: ParserWithSourcePosition.Parser[DFTheorem]
  48. val pTheory: ParserWithSourcePosition.Parser[DFTheory]
  49. lazy val pTheoryEnsemble: ParserWithSourcePosition.Parser[DFTheoryEnsemble]
  50. lazy val pTheoryEnsembleInstances: ParserWithSourcePosition.Parser[DFTheoryEnsembleInstances]
  51. lazy val pTheoryEnsembleMultiple: ParserWithSourcePosition.Parser[DFTheoryEnsembleMultiple]
  52. lazy val pTheoryEnsembleOverloadings: ParserWithSourcePosition.Parser[DFTheoryEnsembleOverloadings]
  53. lazy val pTheoryInstance: ParserWithSourcePosition.Parser[DFTheoryInstance]
  54. lazy val pTheoryProcessors: ParserWithSourcePosition.Parser[DFTheoryProcessors]
  55. lazy val pTranslation: ParserWithSourcePosition.Parser[DFTranslation]
  56. lazy val pTransportedSymbols: ParserWithSourcePosition.Parser[DFTransportedSymbols]
  57. lazy val parseAlgebraicOrderSimplifier: ParserWithSourcePosition.Parser[ArgAlgebraicOrderSimplifier]
  58. lazy val parseAlgebraicOrderSimplifierSpec: ParserWithSourcePosition.Parser[ArgAlgebraicOrderSimplifierSpec]
  59. lazy val parseAlgebraicSimplifier: ParserWithSourcePosition.Parser[ArgAlgebraicSimplifier]
  60. lazy val parseAlgebraicSimplifierSpec: ParserWithSourcePosition.Parser[ArgAlgebraicSimplifierSpec]
  61. lazy val parseAlgebraicTermComparator: ParserWithSourcePosition.Parser[ArgAlgebraicTermComparator]
  62. def parseArbitrary(str: String): ParserWithSourcePosition.Parser[ArbitraryScript]
  63. lazy val parseArgAlgebraicProcessor: ParserWithSourcePosition.Parser[ArgAlgebraicProcessor]
  64. lazy val parseArgApplicabilityRecognizer: ParserWithSourcePosition.Parser[ArgApplicabilityRecognizer]
  65. lazy val parseArgAssumptions: ParserWithSourcePosition.Parser[ArgAssumptions]
  66. lazy val parseArgAxioms: ParserWithSourcePosition.Parser[ArgAxioms]
  67. lazy val parseArgBase: ParserWithSourcePosition.Parser[ArgBase]
  68. lazy val parseArgBaseCaseHook: ParserWithSourcePosition.Parser[ArgBaseCaseHook]
  69. lazy val parseArgBaseTheory: ParserWithSourcePosition.Parser[ArgBaseTheory]
  70. lazy val parseArgBaseTypes: ParserWithSourcePosition.Parser[ArgBaseTypes]
  71. lazy val parseArgBinding: ParserWithSourcePosition.Parser[ArgBinding]
  72. lazy val parseArgCoefficient: ParserWithSourcePosition.Parser[ArgCoefficient]
  73. lazy val parseArgComponentSections: ParserWithSourcePosition.Parser[ArgComponentSections]
  74. lazy val parseArgComponentTheories: ParserWithSourcePosition.Parser[ArgComponentTheories]
  75. lazy val parseArgConstAssoc: ParserWithSourcePosition.Parser[ArgConstAssoc]
  76. lazy val parseArgConstPairSpec: ParserWithSourcePosition.Parser[ArgConstPairSpec]
  77. lazy val parseArgConstPairs: ParserWithSourcePosition.Parser[ArgConstPairs]
  78. lazy val parseArgConstantSpec: ParserWithSourcePosition.Parser[ArgConstantSpec]
  79. lazy val parseArgConstants: ParserWithSourcePosition.Parser[ArgConstants]
  80. lazy val parseArgCoreTranslation: ParserWithSourcePosition.Parser[ArgCoreTranslation]
  81. lazy val parseArgDefStringList: ParserWithSourcePosition.Parser[ArgDefStringList]
  82. lazy val parseArgDefinitionName: ParserWithSourcePosition.Parser[ArgDefinitionName]
  83. lazy val parseArgDiscreteSorts: ParserWithSourcePosition.Parser[ArgDiscreteSorts]
  84. lazy val parseArgDistinctConstants: ParserWithSourcePosition.Parser[ArgDistinctConstants]
  85. lazy val parseArgDontUnfold: ParserWithSourcePosition.Parser[ArgDontUnfold]
  86. lazy val parseArgEmbeddedLang: ParserWithSourcePosition.Parser[ArgEmbeddedLang]
  87. lazy val parseArgEmbeddedLangs: ParserWithSourcePosition.Parser[ArgEmbeddedLangs]
  88. lazy val parseArgEnsembleConsts: ParserWithSourcePosition.Parser[ArgEnsembleConsts]
  89. lazy val parseArgEnsembleSorts: ParserWithSourcePosition.Parser[ArgEnsembleSorts]
  90. lazy val parseArgExponent: ParserWithSourcePosition.Parser[ArgExponent]
  91. lazy val parseArgExtensible: ParserWithSourcePosition.Parser[ArgExtensible]
  92. lazy val parseArgFileSpec: ParserWithSourcePosition.Parser[ArgFileSpec]
  93. lazy val parseArgFiles: ParserWithSourcePosition.Parser[ArgFiles]
  94. lazy val parseArgFixedTheories: ParserWithSourcePosition.Parser[ArgFixedTheories]
  95. lazy val parseArgHomeTheory: ParserWithSourcePosition.Parser[ArgHomeTheory]
  96. lazy val parseArgInductionStepHook: ParserWithSourcePosition.Parser[ArgInductionStepHook]
  97. lazy val parseArgLanguage: ParserWithSourcePosition.Parser[ArgLanguage]
  98. lazy val parseArgLeftMethod: ParserWithSourcePosition.Parser[ArgLeftMethod]
  99. lazy val parseArgMacete: ParserWithSourcePosition.Parser[ArgMacete]
  100. lazy val parseArgMethod: ParserWithSourcePosition.Parser[ArgMethod]
  101. lazy val parseArgMultiples: ParserWithSourcePosition.Parser[ArgMultiples]
  102. lazy val parseArgNameList: ParserWithSourcePosition.Parser[ArgNameList]
  103. lazy val parseArgNewTranslationName: ParserWithSourcePosition.Parser[ArgNewTranslationName]
  104. lazy val parseArgNullMethod: ParserWithSourcePosition.Parser[ArgNullMethod]
  105. lazy val parseArgNumbers: ParserWithSourcePosition.Parser[ArgNumbers]
  106. lazy val parseArgOperations: ParserWithSourcePosition.Parser[ArgOperations]
  107. lazy val parseArgOperationsAlist: ParserWithSourcePosition.Parser[ArgOperationsAlist]
  108. lazy val parseArgOverloadingPairs: ParserWithSourcePosition.Parser[ArgOverloadingPair]
  109. lazy val parseArgPermutations: ParserWithSourcePosition.Parser[ArgPermutations]
  110. lazy val parseArgProcOperations: ParserWithSourcePosition.Parser[ArgProcOperations]
  111. lazy val parseArgProof: ParserWithSourcePosition.Parser[ArgProof]
  112. lazy val parseArgRenamer: ParserWithSourcePosition.Parser[ArgRenamer]
  113. lazy val parseArgRenamerPair: ParserWithSourcePosition.Parser[ArgRenamerPair]
  114. lazy val parseArgRenamerPairs: ParserWithSourcePosition.Parser[ArgPairs]
  115. lazy val parseArgReplicaRenamer: ParserWithSourcePosition.Parser[ArgReplicaRenamer]
  116. lazy val parseArgRetrievalProtocol: ParserWithSourcePosition.Parser[ArgRetrievalProtocol]
  117. lazy val parseArgScalars: ParserWithSourcePosition.Parser[ArgScalars]
  118. lazy val parseArgSort: ParserWithSourcePosition.Parser[ArgSort]
  119. lazy val parseArgSortAssoc: ParserWithSourcePosition.Parser[ArgSortAssoc]
  120. lazy val parseArgSortPairs: ParserWithSourcePosition.Parser[ArgSortPairs]
  121. lazy val parseArgSortSpec: ParserWithSourcePosition.Parser[ArgSortSpec]
  122. lazy val parseArgSorts: ParserWithSourcePosition.Parser[ArgSorts]
  123. lazy val parseArgSource: ParserWithSourcePosition.Parser[ArgSource]
  124. lazy val parseArgSourceTheories: ParserWithSourcePosition.Parser[ArgSourceTheories]
  125. lazy val parseArgSourceTheory: ParserWithSourcePosition.Parser[ArgSourceTheory]
  126. lazy val parseArgSpecForms: ParserWithSourcePosition.Parser[ArgSpecForms]
  127. lazy val parseArgSpecialRenamings: ParserWithSourcePosition.Parser[ArgSpecialRenamings]
  128. lazy val parseArgTable: ParserWithSourcePosition.Parser[ArgTable]
  129. lazy val parseArgTarget: ParserWithSourcePosition.Parser[ArgTarget]
  130. lazy val parseArgTargetMultiple: ParserWithSourcePosition.Parser[ArgTargetMultiple]
  131. lazy val parseArgTargetTheories: ParserWithSourcePosition.Parser[ArgTargetTheories]
  132. lazy val parseArgTheory: ParserWithSourcePosition.Parser[ArgTheory]
  133. lazy val parseArgTheoryInterpretationCheck: ParserWithSourcePosition.Parser[ArgTheoryInterpretationCheck]
  134. lazy val parseArgToken: ParserWithSourcePosition.Parser[ArgToken]
  135. lazy val parseArgTranslation: ParserWithSourcePosition.Parser[ArgTranslation]
  136. lazy val parseArgTypeSortAList: ParserWithSourcePosition.Parser[ArgTypeSortAList]
  137. lazy val parseArgUsages: ParserWithSourcePosition.Parser[ArgUsages]
  138. lazy val parseArgWitness: ParserWithSourcePosition.Parser[ArgWitness]
  139. lazy val parseAtomicSort: ParserWithSourcePosition.PackratParser[IMPSAtomSort]
  140. lazy val parseAxiomSpec: ParserWithSourcePosition.Parser[AxiomSpec]
  141. lazy val parseDefString: ParserWithSourcePosition.Parser[DefString]
  142. lazy val parseDefStringOrName: ParserWithSourcePosition.Parser[ODefString]
  143. lazy val parseFunSort: ParserWithSourcePosition.PackratParser[IMPSNaryFunSort]
  144. lazy val parseFunSort2: ParserWithSourcePosition.PackratParser[IMPSNaryFunSort]
  145. lazy val parseImpsSource: ParserWithSourcePosition.PackratParser[List[DefForm]]
  146. lazy val parseInductionPrinciple: ParserWithSourcePosition.Parser[ArgInductionPrinciple]
  147. lazy val parseModCancellative: ParserWithSourcePosition.Parser[ModCancellative]
  148. lazy val parseModCommutes: ParserWithSourcePosition.Parser[ModCommutes]
  149. lazy val parseModDontEnrich: ParserWithSourcePosition.Parser[ModDontEnrich]
  150. lazy val parseModForce: ParserWithSourcePosition.Parser[ModForce]
  151. lazy val parseModForceU: ParserWithSourcePosition.Parser[ModForceUnderQuickLoad]
  152. lazy val parseModLemma: ParserWithSourcePosition.Parser[ModLemma]
  153. lazy val parseModNull: ParserWithSourcePosition.Parser[ModNull]
  154. lazy val parseModQuickLoad: ParserWithSourcePosition.Parser[ModQuickLoad]
  155. lazy val parseModReload: ParserWithSourcePosition.Parser[ModReload]
  156. lazy val parseModReverse: ParserWithSourcePosition.Parser[ModReverse]
  157. lazy val parseModTex: ParserWithSourcePosition.Parser[ModTex]
  158. lazy val parseModTransportable: ParserWithSourcePosition.Parser[ModTransportable]
  159. lazy val parseModUseNumerals: ParserWithSourcePosition.Parser[ModUseNumerals]
  160. lazy val parseName: ParserWithSourcePosition.Parser[String]
  161. lazy val parseNumericalType: ParserWithSourcePosition.Parser[NumericalType.NumericalType]
  162. lazy val parseOperationAlist: ParserWithSourcePosition.Parser[ArgOperationAlist]
  163. lazy val parseOperationType: ParserWithSourcePosition.Parser[OperationType.OperationType]
  164. lazy val parseParseMethod: ParserWithSourcePosition.Parser[ParseMethod.ParseMethod]
  165. lazy val parseQDFSpecForm: ParserWithSourcePosition.Parser[QDFSpecForm]
  166. lazy val parseScript: ParserWithSourcePosition.Parser[Script]
  167. lazy val parseSets: ParserWithSourcePosition.PackratParser[IMPSSetSort]
  168. lazy val parseSort: ParserWithSourcePosition.PackratParser[IMPSSort]
  169. lazy val parseSortPairSpec: ParserWithSourcePosition.Parser[ArgSortPairSpec]
  170. lazy val parseSpec: ParserWithSourcePosition.Parser[MaceteSpec]
  171. lazy val parseSpecName: ParserWithSourcePosition.Parser[MSpecName]
  172. lazy val parseSpecParallel: ParserWithSourcePosition.Parser[MSpecParallel]
  173. lazy val parseSpecRepeat: ParserWithSourcePosition.Parser[MSpecRepeat]
  174. lazy val parseSpecSequential: ParserWithSourcePosition.Parser[MSpecSequential]
  175. lazy val parseSpecSeries: ParserWithSourcePosition.Parser[MSpecSeries]
  176. lazy val parseSpecSound: ParserWithSourcePosition.Parser[MSpecSound]
  177. lazy val parseSpecWithoutMinorPremises: ParserWithSourcePosition.Parser[MSpecWithoutMinorPremises]
  178. lazy val parseTName: ParserWithSourcePosition.Parser[Name]
  179. lazy val parseTNumber: ParserWithSourcePosition.Parser[Number]
  180. lazy val parseUsage: ParserWithSourcePosition.Parser[Usage.Usage]
  181. lazy val pv0: ParserWithSourcePosition.Parser[(Name, Int)]
  182. lazy val pv1: ParserWithSourcePosition.Parser[(DefString, Int)]
  183. lazy val pv2: ParserWithSourcePosition.Parser[(DefString, Int)]
  184. lazy val pv3: ParserWithSourcePosition.Parser[(DefString, Int)]
  185. lazy val stuff: ParserWithSourcePosition.Parser[String]
  186. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  187. def toString(): String
    Definition Classes
    AnyRef → Any
  188. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  189. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  190. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped