Package eu.bandm.tools.lljava.absy
package eu.bandm.tools.lljava.absy
Abstract Syntax of LLJava, representing the byte code instructions, the
objects which contain byte code, and the attributes specific to byte code
classes.
This package is the central data representation for serialization,
de-serialization, analysis, verification etc.
It consists mainly of two different UMod-Models:
The API doc of this package refers with [JVM] to Lindholm, Yelling et.al, The Java® Virtual Machine Specification -- Java SE 7 Edition.
It consists mainly of two different UMod-Models:
LLJava with
this source and
Verify with
this source.
The API doc of this package refers with [JVM] to Lindholm, Yelling et.al, The Java® Virtual Machine Specification -- Java SE 7 Edition.
-
ClassDescriptionPointed intervals of integers.Qualitative location relationships between two intervals.Umod main model class: Abstract Syntax of LLJava.(Ancillary class for generating pretty-print format objects).Ancillary class providing Paisley compound patterns.Generated by umod; model author's documentation MISSING.Common superclass for all machine word types.Syntactic expression defining an
abstractornativemethod.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression specifying an annotation.Generated by umod; model author's documentation MISSING.Abstract base class of the various kinds of values of annotation element–value pairs.Abstract object for dynamic creation of fresh ad-hoc identities.Generated by umod; model author's documentation MISSING.Syntactic expression denoting an array access.An array of annotation values.Generated by umod; model author's documentation MISSING.Syntactic expression denoting an array type.Abstract base class of nodes that can carry bytecode attributes.Generated by umod; model author's documentation MISSING.A sequential container for statements.Syntactic expression denoting abooleanliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting aswitchcase.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting acharliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Definition of a class.A class literal.Syntactic expression denoting a class literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression referring to a class.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a class type.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a code interval as the scope of a variable or exception handler.Syntactic expression defining the body of a method by code.Specification of a code point as a jump target.Symbolic constants for the JVM branch conditions, all represented uniformly in LLJava by theLLJava.Ifinstruction.A primitive constant orStringliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of constant pool entries.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression defining the body of a method by an annotation default value.Syntactic expression specifying a dimension of an array type.Generated by umod; model author's documentation MISSING.Syntactic expression denoting adoubleliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a dynamic value.Generated by umod; model author's documentation MISSING.An enum constant.Specification of an exception handler table entry.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Name given in source code.Definition of a field.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a field reference.Generated by umod; model author's documentation MISSING.Syntactic expression denoting afloatliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a labeled code interval by name.Syntactic expression denoting a labeled code point by name.Symbolic constants for the bytecode behaviors for method handles.Syntactic expression denoting an exception handler for atryinstruction.Simple identifier for packages, classes, fields, methods, parameters, etc.Generated by umod; model author's documentation MISSING.Synthethic name, not given in source code.Generated by umod; model author's documentation MISSING.Syntactic expression denoting the full extent of an inteval defined inline.Syntactic expression denoting the entry point of a block defined inline.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of all instructions.Generated by umod; model author's documentation MISSING.Syntactic expression denoting anintliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a variant of theinvokeinstruction family.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.A label statement.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a primitive orStringliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of representations of everything that can be loaded onto the operand stack using theldcinstruction.Abstract base class of representations of everything that can be loaded onto the operand stack.Definition of a local variable.Definition of a local class.Syntactic expression denoting alongliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a lower
(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":322.1-325.16, see this pretty print.)
(@{code super}) type bound.(Ancillary class as basis for all visitors).Abstract base class of fields and methods.Syntactic expression denoting the name of a field or method with dynamic owner.Abstract base class for field and method names.Generated by umod; model author's documentation MISSING.Abstract base class of field and method references.Syntactic expression denoting the name of a field or method with static owner.Definition of a method.Specification of the body of a method.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a method handle.Abstract base class of instructions that may be reified as method handle targets.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a method reference.Syntactic expression denoting a formal parameter for a method reference.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a method type.Abstract base class of nodes that can carry annotations and modifiers.Symbolic constants for all bit flags used to denote access permissions to and properties of classes, fields and methods.Abstract base class of syntactic expressions specifying modifiers or annotations.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Visitor generated by umod according to field selection #0.Local name for parameters, local variables or labels.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.A nested annotation.Generated by umod; model author's documentation MISSING.Topmost class for everything in a classfile which is possibly related to some source text.Generated by umod; model author's documentation MISSING.Syntactic expression denoting anullvalue.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a formal parameter of a method.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a primitive type.Generated by umod; model author's documentation MISSING.Qualified identifier for packages, classes, fields or methods.Syntactic expression denoting a reference type.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Method return type.Specification of the result of a function.Generated by umod; model author's documentation MISSING.Syntactic expression specifying the return type of a function.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression specifying a modifier.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting an anonymous variable slot reference.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of all statements.Generated by umod; model author's documentation MISSING.Abstract base class of representations of everything that can be both loaded onto and stored off the operand stack.Symbolic constants for the ways the JVM may invoke a method, all represented uniformly in LLJava by theLLJava.Invokeinstruction.Syntactic expression denoting aStringliteral.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting athisreference.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a type parameter value.Specification of a type bound.Syntactic expression denoting a type.Generated by umod; model author's documentation MISSING.Specification of a formal type parameter of a class or method.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of an upper
(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":314.1-320.16, see this pretty print.)
(@{code extends}) type bound.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a local variable reference.Visitor generated by umod according to field selection #0.Method return typevoid.Syntactic expression specifying a function as void.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a wildcard type.Generated by umod; model author's documentation MISSING.An algorithm for finding all loops in a method code array.Umod main model class: Auxiliary data structures for the verification and type checking.(Ancillary class for generating pretty-print format objects).Ancillary class providing Paisley compound patterns.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.(Ancillary class as basis for all visitors).Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.