class Compiler extends Program
an example backend that transforms a LogicSyntax L into the SML code that represents and validates L-theories
- Source
- Compiler.scala
- Alphabetic
- By Inheritance
- Compiler
- Program
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Compiler(log: LogicSyntax)
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
-
def
add(d: DECL): Unit
adds a declaration merges consecutive ADT's and FUNCTION's into ADTRec and FUNCTIONRec
adds a declaration merges consecutive ADT's and FUNCTION's into ADTRec and FUNCTIONRec
- Attributes
- protected
- Definition Classes
- Program
-
def
addTag(key: String): Unit
- Definition Classes
- Program
- val app: ID
- def argsToEXP(args: List[CatRef]): List[EXP]
- def argsToStringWithID(args: List[CatRef]): String
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val axiom_from_pt: ID
- val axioms: ID
- val bind: ID
- val cats: List[Unit]
-
def
check: Unit
checks this program
checks this program
- Definition Classes
- Program
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val decl: ID
- val decl_from_pt: ID
- val declfrompt: EXP
- val decls: List[Unit]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val error: ID
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
get: List[DECL]
returns the list of declarations in declaration-order consecutive ADT's and FUNCTION's are merged into ADTRec and FUNCTIONRec
returns the list of declarations in declaration-order consecutive ADT's and FUNCTION's are merged into ADTRec and FUNCTIONRec
- Definition Classes
- Program
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getLabels(): List[String]
- Definition Classes
- Program
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- val id: ID
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val morphism: ID
-
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()
- val ofdecls: List[CONS]
- def parse(c: CatRef, a: EXP): APPLY
- val parsefuncs: List[Unit]
-
def
printIn(fl: FuncLang[String]): String
- Definition Classes
- Program
- val sign: ID
- val sign_from_pt: ID
- val sigs: ID
- val sname: ID
- val source: ID
- val symb: ID
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val target: ID
- val tbind: ID
- val theo: ID
- val theo_from_pt: ID
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- val tree: ID
- val varr: ID
- val vrb: ID
-
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()
- object lf
-
object
declare
a helper object for conveniently adding declarations via val declare(names: Seq[ID]) = (d: DECL) This adds d to the list of declarations and binds names to the ID's declared by d.
a helper object for conveniently adding declarations via val declare(names: Seq[ID]) = (d: DECL) This adds d to the list of declarations and binds names to the ID's declared by d. The length of names must be equal to the list of introduced names. Most declarations introduce exactly one name; ADT and RECORD declarations introduce n+1 names: first the type name, then the list of constructors/fields.
- Attributes
- protected
- Definition Classes
- Program