Uses of Class
eu.bandm.tools.lljava.absy.Verify.UninitializedNew
Package
Description
Abstract Syntax of LLJava, representing the byte code instructions, the objects which
contain byte code, and the attributes specific to byte code classes.
-
Uses of Verify.UninitializedNew in eu.bandm.tools.lljava.absy
Modifier and TypeMethodDescriptionVerify.UninitializedNew.doclone()
Copies values of all common fields from the argument.Verify.UninitializedNew.with_offset
(LLJava.Instruction val) Modifier and TypeMethodDescriptionstatic Pattern<Verify.UninitializedNew>
Verify.UninitializedNew.get_offset
(Pattern<? super LLJava.Instruction> p) static Pattern<Verify.UninitializedNew>
Verify.__Patterns.term_UninitializedNew
(Pattern<? super Verify.Category1> superpattern, Pattern<? super LLJava.Instruction> p_offset) Modifier and TypeMethodDescriptionprotected void
Verify.__Formatter.action
(Verify.UninitializedNew el) protected void
Verify.MATCH_ONLY_00.action
(Verify.UninitializedNew e0) void
Verify.MATCH_ONLY_00.match
(Verify.UninitializedNew e0) protected Format
Verify.__Formatter.toFormat
(Verify.UninitializedNew el) boolean
Verify.UninitializedNew.x_equals
(Verify.UninitializedNew e0) Modifier and TypeMethodDescriptionVerify.__Patterns.cast_UninitializedNew
(Pattern<? super Verify.UninitializedNew> p)