abstract class Program extends AnyRef
convenience class for writing a program inside Scala concrete syntax
- Source
- Programs.scala
- Alphabetic
- By Inheritance
- Program
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Program()
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
- def addTag(key: String): Unit
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
check: Unit
checks this program
-
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] )
-
def
get: List[DECL]
returns the list of declarations in declaration-order consecutive ADT's and FUNCTION's are merged into ADTRec and FUNCTIONRec
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getLabels(): List[String]
-
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()
- def printIn(fl: FuncLang[String]): 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()
-
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