Uses of Class
eu.bandm.tools.lljava.absy.Verify.OneWord
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.OneWord in eu.bandm.tools.lljava.absy
Modifier and TypeMethodDescriptionVerify.OneWord.doclone()
Copies values of all common fields from the argument.Modifier and TypeMethodDescriptionstatic Pattern<Verify.OneWord>
Verify.__Patterns.term_OneWord
(Pattern<? super Verify.Category1> superpattern) Modifier and TypeMethodDescriptionprotected void
Verify.__Formatter.action
(Verify.OneWord el) protected void
Verify.MATCH_ONLY_00.action
(Verify.OneWord e0) void
Verify.MATCH_ONLY_00.match
(Verify.OneWord e0) protected Format
Verify.__Formatter.toFormat
(Verify.OneWord el) boolean
Verify.OneWord.x_equals
(Verify.OneWord e0) Modifier and TypeMethodDescriptionVerify.__Patterns.cast_OneWord
(Pattern<? super Verify.OneWord> p)