// Rendered by UMod Pretty Printer at 2018-12-29_12h51m24 // See also the UMod user documentation online. MODEL Verify = EXT Instruction SOURCE FROM eu.bandm.tools.lljava.absy.LLJava.Instruction TOPLEVEL CLASS Type ABSTRACT ALGEBRAIC | Category2 ABSTRACT ALGEBRAIC | | Long ALGEBRAIC | | Double ALGEBRAIC | | TwoWord ALGEBRAIC | Top ALGEBRAIC | Category1 ABSTRACT ALGEBRAIC | | Null ALGEBRAIC | | OneWord ALGEBRAIC | | Float ALGEBRAIC | | Uninitialized ALGEBRAIC | | Int ALGEBRAIC | | Reference ALGEBRAIC | | UninitializedNew ALGEBRAIC offset Instruction | | UninitializedThis ALGEBRAIC | | Object ALGEBRAIC classname string END MODEL // Verify