kiama 0.9.0 API
kiama.example.picojava

object PredefinedTypes
[source: kiama/example/picojava/PredefinedTypes.scala]
object PredefinedTypes
extends AnyRef
This file is derived from a JastAdd implementation of PicoJava, created in the Department of Computer Science at Lund University. See the following web site for details: http://jastadd.cs.lth.se/examples/PicoJava/index.shtml
Value Summary
val booleanType : scala.PartialFunction[Attributable, PrimitiveDecl]
Make the boolean type available. syn lazy PrimitiveDecl Program.booleanType() = (PrimitiveDecl) localLookup("boolean"); inh PrimitiveDecl BooleanLiteral.booleanType(); inh PrimitiveDecl WhileStmt.booleanType(); inh PrimitiveDecl Decl.booleanType(); eq Program.getBlock().booleanType() = booleanType(); eq Program.getPredefinedType().booleanType() = booleanType();
val getPredefinedTypeList : scala.PartialFunction[Program, scala.Seq[TypeDecl]]
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val getPredefinedTypeList : scala.PartialFunction[Program, scala.Seq[TypeDecl]]
val booleanType : scala.PartialFunction[Attributable, PrimitiveDecl]
Make the boolean type available. syn lazy PrimitiveDecl Program.booleanType() = (PrimitiveDecl) localLookup("boolean"); inh PrimitiveDecl BooleanLiteral.booleanType(); inh PrimitiveDecl WhileStmt.booleanType(); inh PrimitiveDecl Decl.booleanType(); eq Program.getBlock().booleanType() = booleanType(); eq Program.getPredefinedType().booleanType() = booleanType();
kiama 0.9.0 API