|
(* Title: HOL/MicroJava/J/Term.thy
Author: David von Oheimb, Technische Universitaet Muenchen
*)
section \<open>Expressions and Statements\<close>
theory Term imports Value begin
datatype binop = Eq | Add \<comment> \<open>function codes for binary operation\<close>
datatype expr
= NewC cname \<comment> \<open>class instance creation\<close>
| Cast cname expr \<comment> \<open>type cast\<close>
| Lit val \<comment> \<open>literal value, also references\<close>
| BinOp binop expr expr \<comment> \<open>binary operation\<close>
| LAcc vname \<comment> \<open>local (incl. parameter) access\<close>
| LAss vname expr ("_::=_" [90,90]90) \<comment> \<open>local assign\<close>
| FAcc cname expr vname ("{_}_.._" [10,90,99]90) \<comment> \<open>field access\<close>
| FAss cname expr vname
expr ("{_}_.._:=_" [10,90,99,90]90) \<comment> \<open>field ass.\<close>
| Call cname expr mname
"ty list" "expr list" ("{_}_.._'( {_}_')" [10,90,99,10,10] 90) \<comment> \<open>method call\<close>
datatype_compat expr
datatype stmt
= Skip \<comment> \<open>empty statement\<close>
| Expr expr \<comment> \<open>expression statement\<close>
| Comp stmt stmt ("_;; _" [61,60]60)
| Cond expr stmt stmt ("If '(_') _ Else _" [80,79,79]70)
| Loop expr stmt ("While '(_') _" [80,79]70)
end
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
