object AbstractSyntax in kiama.example.picojava

kiama.example.picojava

object AbstractSyntax

[source: kiama/example/picojava/AbstractSyntax.scala]

object AbstractSyntax: extends AnyRef

PicoJava abstract syntax

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Class Summary
`abstract class`	Access `extends` Exp
`case class`	AssignStmt (`val` Variable : Access, `val` Value : Exp) `extends` Stmt `with` scala.Product
`case class`	Block (`val` BlockStmts : scala.Seq[BlockStmt]) `extends` Attributable
`abstract class`	BlockStmt `extends` Attributable
`case class`	BooleanLiteral (`val` Value : java.lang.String) `extends` Exp `with` scala.Product
`case class`	ClassDecl (`val override` Name : java.lang.String, `val` Superclass : scala.Option[IdUse], `val` Body : Block) `extends` TypeDecl `with` scala.Product
`abstract class`	Decl (`val` Name : java.lang.String) `extends` BlockStmt
`case class`	Dot (`val` ObjectReference : Access, `val` IdUse : IdUse) `extends` Access `with` scala.Product
`abstract class`	Exp `extends` Attributable
`abstract class`	IdUse (`val` Name : java.lang.String) `extends` Access
`case class`	PrimitiveDecl (`val override` Name : java.lang.String) `extends` TypeDecl `with` scala.Product
`case class`	Program (`val` Block : Block) `extends` Attributable
`abstract class`	Stmt `extends` BlockStmt
`abstract class`	TypeDecl (Name : java.lang.String) `extends` Decl
`case class`	UnknownDecl (`val override` Name : java.lang.String) `extends` TypeDecl `with` scala.Product
`case class`	Use (`val override` Name : java.lang.String) `extends` IdUse `with` scala.Product
`case class`	VarDecl (`val override` Name : java.lang.String, `val` Type : Access) `extends` Decl `with` scala.Product
`case class`	WhileStmt (`val` Condition : Exp, `val` Body : Stmt) `extends` Stmt `with` scala.Product