class DefFormParsers extends AnyRef
- Source
- DefFormParsers.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- DefFormParsers
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new DefFormParsers(js: List[JSONObject])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val allDefFormParsers: List[ParserWithSourcePosition.Parser[DefForm]]
- val allMSpecs: List[ParserWithSourcePosition.Parser[MaceteSpec]]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def balance(chars: List[Char], level: Int = 0): Boolean
- lazy val bracketed: ParserWithSourcePosition.Parser[String]
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- lazy val number: ParserWithSourcePosition.Parser[Int]
- lazy val pAlgebraicProcessor: ParserWithSourcePosition.Parser[DFAlgebraicProcessor]
- val pAtomicSort: ParserWithSourcePosition.Parser[DFAtomicSort]
- lazy val pComment: ParserWithSourcePosition.Parser[DFComment]
- val pCompoundMacete: ParserWithSourcePosition.Parser[DFCompoundMacete]
- val pConstant: ParserWithSourcePosition.Parser[DFConstant]
- lazy val pDefine: ParserWithSourcePosition.Parser[Define]
- lazy val pEnsembleDontTranslateConst: ParserWithSourcePosition.Parser[EnsembleDontTranslateConst]
- val pHeralding: ParserWithSourcePosition.Parser[Heralding]
- val pImportedRewriteRules: ParserWithSourcePosition.Parser[DFImportedRewriteRules]
- lazy val pIncludeFiles: ParserWithSourcePosition.Parser[DFIncludeFiles]
- val pInductor: ParserWithSourcePosition.Parser[DFInductor]
- val pLanguage: ParserWithSourcePosition.Parser[DFLanguage]
- lazy val pLoadSection: ParserWithSourcePosition.Parser[DFLoadSection]
- lazy val pOrderProcessors: ParserWithSourcePosition.Parser[DFOrderProcessor]
- lazy val pOverloading: ParserWithSourcePosition.Parser[DFOverloading]
- val pParseSyntax: ParserWithSourcePosition.Parser[DFParseSyntax]
- val pPrintSyntax: ParserWithSourcePosition.Parser[DFPrintSyntax]
- lazy val pQCConstantlike: ParserWithSourcePosition.Parser[QCConstantlike]
- val pQuasiConstructor: ParserWithSourcePosition.Parser[DFQuasiConstructor]
- lazy val pRecursiveConstant: ParserWithSourcePosition.Parser[DFRecursiveConstant]
- val pRenamer: ParserWithSourcePosition.Parser[DFRenamer]
- val pSchematicMacete: ParserWithSourcePosition.Parser[DFSchematicMacete]
- lazy val pScript: ParserWithSourcePosition.Parser[DFScript]
- lazy val pSection: ParserWithSourcePosition.Parser[DFSection]
- lazy val pSet: ParserWithSourcePosition.Parser[ArgSet]
- lazy val pSimplog1stWrapper: ParserWithSourcePosition.Parser[Simplog1stWrapper]
- lazy val pTeXCorrespondence: ParserWithSourcePosition.Parser[TeXCorrespondence]
- val pTheorem: ParserWithSourcePosition.Parser[DFTheorem]
- val pTheory: ParserWithSourcePosition.Parser[DFTheory]
- lazy val pTheoryEnsemble: ParserWithSourcePosition.Parser[DFTheoryEnsemble]
- lazy val pTheoryEnsembleInstances: ParserWithSourcePosition.Parser[DFTheoryEnsembleInstances]
- lazy val pTheoryEnsembleMultiple: ParserWithSourcePosition.Parser[DFTheoryEnsembleMultiple]
- lazy val pTheoryEnsembleOverloadings: ParserWithSourcePosition.Parser[DFTheoryEnsembleOverloadings]
- lazy val pTheoryInstance: ParserWithSourcePosition.Parser[DFTheoryInstance]
- lazy val pTheoryProcessors: ParserWithSourcePosition.Parser[DFTheoryProcessors]
- lazy val pTranslation: ParserWithSourcePosition.Parser[DFTranslation]
- lazy val pTransportedSymbols: ParserWithSourcePosition.Parser[DFTransportedSymbols]
- lazy val parseAlgebraicOrderSimplifier: ParserWithSourcePosition.Parser[ArgAlgebraicOrderSimplifier]
- lazy val parseAlgebraicOrderSimplifierSpec: ParserWithSourcePosition.Parser[ArgAlgebraicOrderSimplifierSpec]
- lazy val parseAlgebraicSimplifier: ParserWithSourcePosition.Parser[ArgAlgebraicSimplifier]
- lazy val parseAlgebraicSimplifierSpec: ParserWithSourcePosition.Parser[ArgAlgebraicSimplifierSpec]
- lazy val parseAlgebraicTermComparator: ParserWithSourcePosition.Parser[ArgAlgebraicTermComparator]
- def parseArbitrary(str: String): ParserWithSourcePosition.Parser[ArbitraryScript]
- lazy val parseArgAlgebraicProcessor: ParserWithSourcePosition.Parser[ArgAlgebraicProcessor]
- lazy val parseArgApplicabilityRecognizer: ParserWithSourcePosition.Parser[ArgApplicabilityRecognizer]
- lazy val parseArgAssumptions: ParserWithSourcePosition.Parser[ArgAssumptions]
- lazy val parseArgAxioms: ParserWithSourcePosition.Parser[ArgAxioms]
- lazy val parseArgBase: ParserWithSourcePosition.Parser[ArgBase]
- lazy val parseArgBaseCaseHook: ParserWithSourcePosition.Parser[ArgBaseCaseHook]
- lazy val parseArgBaseTheory: ParserWithSourcePosition.Parser[ArgBaseTheory]
- lazy val parseArgBaseTypes: ParserWithSourcePosition.Parser[ArgBaseTypes]
- lazy val parseArgBinding: ParserWithSourcePosition.Parser[ArgBinding]
- lazy val parseArgCoefficient: ParserWithSourcePosition.Parser[ArgCoefficient]
- lazy val parseArgComponentSections: ParserWithSourcePosition.Parser[ArgComponentSections]
- lazy val parseArgComponentTheories: ParserWithSourcePosition.Parser[ArgComponentTheories]
- lazy val parseArgConstAssoc: ParserWithSourcePosition.Parser[ArgConstAssoc]
- lazy val parseArgConstPairSpec: ParserWithSourcePosition.Parser[ArgConstPairSpec]
- lazy val parseArgConstPairs: ParserWithSourcePosition.Parser[ArgConstPairs]
- lazy val parseArgConstantSpec: ParserWithSourcePosition.Parser[ArgConstantSpec]
- lazy val parseArgConstants: ParserWithSourcePosition.Parser[ArgConstants]
- lazy val parseArgCoreTranslation: ParserWithSourcePosition.Parser[ArgCoreTranslation]
- lazy val parseArgDefStringList: ParserWithSourcePosition.Parser[ArgDefStringList]
- lazy val parseArgDefinitionName: ParserWithSourcePosition.Parser[ArgDefinitionName]
- lazy val parseArgDiscreteSorts: ParserWithSourcePosition.Parser[ArgDiscreteSorts]
- lazy val parseArgDistinctConstants: ParserWithSourcePosition.Parser[ArgDistinctConstants]
- lazy val parseArgDontUnfold: ParserWithSourcePosition.Parser[ArgDontUnfold]
- lazy val parseArgEmbeddedLang: ParserWithSourcePosition.Parser[ArgEmbeddedLang]
- lazy val parseArgEmbeddedLangs: ParserWithSourcePosition.Parser[ArgEmbeddedLangs]
- lazy val parseArgEnsembleConsts: ParserWithSourcePosition.Parser[ArgEnsembleConsts]
- lazy val parseArgEnsembleSorts: ParserWithSourcePosition.Parser[ArgEnsembleSorts]
- lazy val parseArgExponent: ParserWithSourcePosition.Parser[ArgExponent]
- lazy val parseArgExtensible: ParserWithSourcePosition.Parser[ArgExtensible]
- lazy val parseArgFileSpec: ParserWithSourcePosition.Parser[ArgFileSpec]
- lazy val parseArgFiles: ParserWithSourcePosition.Parser[ArgFiles]
- lazy val parseArgFixedTheories: ParserWithSourcePosition.Parser[ArgFixedTheories]
- lazy val parseArgHomeTheory: ParserWithSourcePosition.Parser[ArgHomeTheory]
- lazy val parseArgInductionStepHook: ParserWithSourcePosition.Parser[ArgInductionStepHook]
- lazy val parseArgLanguage: ParserWithSourcePosition.Parser[ArgLanguage]
- lazy val parseArgLeftMethod: ParserWithSourcePosition.Parser[ArgLeftMethod]
- lazy val parseArgMacete: ParserWithSourcePosition.Parser[ArgMacete]
- lazy val parseArgMethod: ParserWithSourcePosition.Parser[ArgMethod]
- lazy val parseArgMultiples: ParserWithSourcePosition.Parser[ArgMultiples]
- lazy val parseArgNameList: ParserWithSourcePosition.Parser[ArgNameList]
- lazy val parseArgNewTranslationName: ParserWithSourcePosition.Parser[ArgNewTranslationName]
- lazy val parseArgNullMethod: ParserWithSourcePosition.Parser[ArgNullMethod]
- lazy val parseArgNumbers: ParserWithSourcePosition.Parser[ArgNumbers]
- lazy val parseArgOperations: ParserWithSourcePosition.Parser[ArgOperations]
- lazy val parseArgOperationsAlist: ParserWithSourcePosition.Parser[ArgOperationsAlist]
- lazy val parseArgOverloadingPairs: ParserWithSourcePosition.Parser[ArgOverloadingPair]
- lazy val parseArgPermutations: ParserWithSourcePosition.Parser[ArgPermutations]
- lazy val parseArgProcOperations: ParserWithSourcePosition.Parser[ArgProcOperations]
- lazy val parseArgProof: ParserWithSourcePosition.Parser[ArgProof]
- lazy val parseArgRenamer: ParserWithSourcePosition.Parser[ArgRenamer]
- lazy val parseArgRenamerPair: ParserWithSourcePosition.Parser[ArgRenamerPair]
- lazy val parseArgRenamerPairs: ParserWithSourcePosition.Parser[ArgPairs]
- lazy val parseArgReplicaRenamer: ParserWithSourcePosition.Parser[ArgReplicaRenamer]
- lazy val parseArgRetrievalProtocol: ParserWithSourcePosition.Parser[ArgRetrievalProtocol]
- lazy val parseArgScalars: ParserWithSourcePosition.Parser[ArgScalars]
- lazy val parseArgSort: ParserWithSourcePosition.Parser[ArgSort]
- lazy val parseArgSortAssoc: ParserWithSourcePosition.Parser[ArgSortAssoc]
- lazy val parseArgSortPairs: ParserWithSourcePosition.Parser[ArgSortPairs]
- lazy val parseArgSortSpec: ParserWithSourcePosition.Parser[ArgSortSpec]
- lazy val parseArgSorts: ParserWithSourcePosition.Parser[ArgSorts]
- lazy val parseArgSource: ParserWithSourcePosition.Parser[ArgSource]
- lazy val parseArgSourceTheories: ParserWithSourcePosition.Parser[ArgSourceTheories]
- lazy val parseArgSourceTheory: ParserWithSourcePosition.Parser[ArgSourceTheory]
- lazy val parseArgSpecForms: ParserWithSourcePosition.Parser[ArgSpecForms]
- lazy val parseArgSpecialRenamings: ParserWithSourcePosition.Parser[ArgSpecialRenamings]
- lazy val parseArgTable: ParserWithSourcePosition.Parser[ArgTable]
- lazy val parseArgTarget: ParserWithSourcePosition.Parser[ArgTarget]
- lazy val parseArgTargetMultiple: ParserWithSourcePosition.Parser[ArgTargetMultiple]
- lazy val parseArgTargetTheories: ParserWithSourcePosition.Parser[ArgTargetTheories]
- lazy val parseArgTheory: ParserWithSourcePosition.Parser[ArgTheory]
- lazy val parseArgTheoryInterpretationCheck: ParserWithSourcePosition.Parser[ArgTheoryInterpretationCheck]
- lazy val parseArgToken: ParserWithSourcePosition.Parser[ArgToken]
- lazy val parseArgTranslation: ParserWithSourcePosition.Parser[ArgTranslation]
- lazy val parseArgTypeSortAList: ParserWithSourcePosition.Parser[ArgTypeSortAList]
- lazy val parseArgUsages: ParserWithSourcePosition.Parser[ArgUsages]
- lazy val parseArgWitness: ParserWithSourcePosition.Parser[ArgWitness]
- lazy val parseAtomicSort: ParserWithSourcePosition.PackratParser[IMPSAtomSort]
- lazy val parseAxiomSpec: ParserWithSourcePosition.Parser[AxiomSpec]
- lazy val parseDefString: ParserWithSourcePosition.Parser[DefString]
- lazy val parseDefStringOrName: ParserWithSourcePosition.Parser[ODefString]
- lazy val parseFunSort: ParserWithSourcePosition.PackratParser[IMPSNaryFunSort]
- lazy val parseFunSort2: ParserWithSourcePosition.PackratParser[IMPSNaryFunSort]
- lazy val parseImpsSource: ParserWithSourcePosition.PackratParser[List[DefForm]]
- lazy val parseInductionPrinciple: ParserWithSourcePosition.Parser[ArgInductionPrinciple]
- lazy val parseModCancellative: ParserWithSourcePosition.Parser[ModCancellative]
- lazy val parseModCommutes: ParserWithSourcePosition.Parser[ModCommutes]
- lazy val parseModDontEnrich: ParserWithSourcePosition.Parser[ModDontEnrich]
- lazy val parseModForce: ParserWithSourcePosition.Parser[ModForce]
- lazy val parseModForceU: ParserWithSourcePosition.Parser[ModForceUnderQuickLoad]
- lazy val parseModLemma: ParserWithSourcePosition.Parser[ModLemma]
- lazy val parseModNull: ParserWithSourcePosition.Parser[ModNull]
- lazy val parseModQuickLoad: ParserWithSourcePosition.Parser[ModQuickLoad]
- lazy val parseModReload: ParserWithSourcePosition.Parser[ModReload]
- lazy val parseModReverse: ParserWithSourcePosition.Parser[ModReverse]
- lazy val parseModTex: ParserWithSourcePosition.Parser[ModTex]
- lazy val parseModTransportable: ParserWithSourcePosition.Parser[ModTransportable]
- lazy val parseModUseNumerals: ParserWithSourcePosition.Parser[ModUseNumerals]
- lazy val parseName: ParserWithSourcePosition.Parser[String]
- lazy val parseNumericalType: ParserWithSourcePosition.Parser[NumericalType.NumericalType]
- lazy val parseOperationAlist: ParserWithSourcePosition.Parser[ArgOperationAlist]
- lazy val parseOperationType: ParserWithSourcePosition.Parser[OperationType.OperationType]
- lazy val parseParseMethod: ParserWithSourcePosition.Parser[ParseMethod.ParseMethod]
- lazy val parseQDFSpecForm: ParserWithSourcePosition.Parser[QDFSpecForm]
- lazy val parseScript: ParserWithSourcePosition.Parser[Script]
- lazy val parseSets: ParserWithSourcePosition.PackratParser[IMPSSetSort]
- lazy val parseSort: ParserWithSourcePosition.PackratParser[IMPSSort]
- lazy val parseSortPairSpec: ParserWithSourcePosition.Parser[ArgSortPairSpec]
- lazy val parseSpec: ParserWithSourcePosition.Parser[MaceteSpec]
- lazy val parseSpecName: ParserWithSourcePosition.Parser[MSpecName]
- lazy val parseSpecParallel: ParserWithSourcePosition.Parser[MSpecParallel]
- lazy val parseSpecRepeat: ParserWithSourcePosition.Parser[MSpecRepeat]
- lazy val parseSpecSequential: ParserWithSourcePosition.Parser[MSpecSequential]
- lazy val parseSpecSeries: ParserWithSourcePosition.Parser[MSpecSeries]
- lazy val parseSpecSound: ParserWithSourcePosition.Parser[MSpecSound]
- lazy val parseSpecWithoutMinorPremises: ParserWithSourcePosition.Parser[MSpecWithoutMinorPremises]
- lazy val parseTName: ParserWithSourcePosition.Parser[Name]
- lazy val parseTNumber: ParserWithSourcePosition.Parser[Number]
- lazy val parseUsage: ParserWithSourcePosition.Parser[Usage.Usage]
- lazy val pv0: ParserWithSourcePosition.Parser[(Name, Int)]
- lazy val pv1: ParserWithSourcePosition.Parser[(DefString, Int)]
- lazy val pv2: ParserWithSourcePosition.Parser[(DefString, Int)]
- lazy val pv3: ParserWithSourcePosition.Parser[(DefString, Int)]
- lazy val stuff: ParserWithSourcePosition.Parser[String]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()