// Rendered by UMod Pretty Printer at 2025-07-25_14h44m17 // See also the UMod user documentation online. MODEL LLJava = EXT Character FROM java.lang.Character EXT String FROM java.lang.String EXT Integer FROM java.lang.Integer EXT Long FROM java.lang.Long EXT Float FROM java.lang.Float EXT Double FROM java.lang.Double EXT SourceId SOURCE FROM eu.bandm.tools.lljava.absy.SourceId EXT Location SOURCE FROM eu.bandm.tools.location.Location ENUM HandleKind = GetField, GetStatic, PutField, PutStatic, InvokeVirtual, InvokeStatic, InvokeSpecial, NewInvokeSpecial, InvokeInterface ENUM Condition = Eq, NEq, LEq, GEq, LT, GT, Eq0, NEq0, LEq0, GEq0, LT0, GT0, EqNull, NEqNull ENUM Modifier = Public, Protected, Private, Abstract, Static, Interface, Enum, Annotation, Final, Synthetic, Super, Bridge, Strictfp, Volatile, Transient, Synchronized, Native, Varargs, Mandated ENUM Strategy = Virtual, Special, Static, Interface, Dynamic TOPLEVEL CLASS MethodName ConstantPoolEntry ABSTRACT ALGEBRAIC | ConstantUTF8 ALGEBRAIC text string | MemberRef ABSTRACT ALGEBRAIC owner ClassRef nametype NameAndType | | FieldRef ALGEBRAIC | | AbstractMethodRef ABSTRACT ALGEBRAIC | | | InterfaceMethodRef ALGEBRAIC | | | MethodRef ALGEBRAIC | Loadable ABSTRACT ALGEBRAIC | | MethodType ALGEBRAIC descriptor ConstantUTF8 | | MethodHandle ALGEBRAIC kind HandleKind reference MemberRef | | ClassRef ALGEBRAIC name ConstantUTF8 | | ConstantDoubleValue ABSTRACT ALGEBRAIC | | | ConstantDouble ALGEBRAIC value Double | | | ConstantLong ALGEBRAIC value Long | | ConstantSingleValue ABSTRACT ALGEBRAIC | | | ConstantInteger ALGEBRAIC value Integer | | | ConstantString ALGEBRAIC value ConstantUTF8 | | | ConstantFloat ALGEBRAIC value Float | NameAndType ALGEBRAIC name ConstantUTF8 descriptor ConstantUTF8 | AbstractDynamic ABSTRACT ALGEBRAIC bootstrap BootstrapMethod nametype NameAndType | | InvokeDynamic ALGEBRAIC | | Dynamic ALGEBRAIC Node ABSTRACT location OPT Location | TypeArgument ABSTRACT annotations SEQ Annotation erasure ABSTRACT GETTER OPT Type | | Wildcard bound OPT TypeBound erasure OPT RefType | | TypeExpr ABSTRACT | | | PrimitiveTypeExpr erasure PrimitiveType | | | ReferenceTypeExpr ABSTRACT erasure OPT RefType | | | | ArrayTypeExpr base TypeExpr specified bool | | | | ClassTypeExpr name QualId arguments SEQ TypeArgument parameter bool | CodeInterval ABSTRACT | | InlineInterval body Block | | GotoInterval start Name end OPT Name startTarget OPT Block endTarget OPT Block | ResultExpr ABSTRACT erasure OPT Result | | VoidExpr | | ReturnsExpr type TypeExpr | MethodBody ABSTRACT | | AbstractMethodBody | | CodeMethodBody block Block exceptionTable SEQ Exception maxLocals OPT Integer maxOperands OPT Integer stackMapPlaces SET Instruction stackMap SEQ StackFrameDelta | | DefaultMethodBody value AnnotationValue | MemberReference ABSTRACT fullName ABSTRACT GETTER MemberFullName entry ABSTRACT GETTER OPT MemberRef | | FieldReference type TypeExpr fullName MemberStaticName entry OPT FieldRef | | MethodReference asInterface bool result ResultExpr fullName MemberFullName parameters SEQ MethodReferenceParameter entry OPT AbstractMethodRef dynamicEntry OPT InvokeDynamic | Case labels SET Integer isDefault bool body CodePoint | ClassParent | Handler type OPT ClassReference body CodePoint | ModifierExpr ABSTRACT | | Annotation name QualId runtimeVisible bool elems Id->AnnotationValue | | SimpleModifierExpr modifier Modifier | AnnotationValue ABSTRACT | | ConstantAnnotationValue literal Literal | | EnumAnnotationValue type QualId name Id | | ArrayAnnotationValue elems SEQ AnnotationValue | | NestedAnnotationValue annotation Annotation | | ClassAnnotationValue name QualId | TypeBound ABSTRACT limit ReferenceTypeExpr erasure OPT Type | | UpperTypeBound interfaces SEQ ReferenceTypeExpr | | LowerTypeBound | Modifiable ABSTRACT annotations SEQ Annotation modifiers SET Modifier | | Parameter type TypeExpr name OPT Name variable OPT Variable | | Attributable ABSTRACT attrs SEQ Attribute | | | InnerClass name OPT Id definition OPT Class | | | Class name QualId innerName OPT Id typeParameters SEQ TypeParameter superClass ClassReference interfaces SEQ ClassReference fields SEQ Field methods SEQ Method innerClasses SEQ InnerClass pool SEQ ConstantPoolEntry thisEntry OPT ClassRef signatureEntry OPT ConstantUTF8 | | | Member ABSTRACT name Id nameEntry OPT ConstantUTF8 descriptorEntry OPT ConstantUTF8 signatureEntry OPT ConstantUTF8 | | | | Field type TypeExpr initializer OPT Literal | | | | Method typeParameters SEQ TypeParameter result ResultExpr parameters SEQ Parameter exceptions SEQ ClassReference body MethodBody | DimensionExpr specified bool annotations SEQ Annotation | Statement ABSTRACT | | Instruction ABSTRACT pre OPT StackFrame post OPT StackFrame | | | Dup | | | Monitor ABSTRACT | | | | Enter | | | | Exit | | | Jump ABSTRACT | | | | Throw | | | | Return | | | | Goto target GotoPoint | | | Load arg LoadArgument | | | TypeInstruction ABSTRACT type ABSTRACT GETTER TypeExpr entry OPT ClassRef | | | | New type ReferenceTypeExpr multiarray int | | | | Instanceof type ReferenceTypeExpr | | | | Cast type TypeExpr | | | MethodHandleTarget ABSTRACT target ABSTRACT GETTER MemberReference | | | | Invoke modifiers SET Modifier strategy OPT Strategy target MethodReference | | | | FieldAccess ABSTRACT statically bool target FieldReference | | | | | Put | | | | | Get | | | Length | | | Swap | | | If neg bool condition Condition body CodePoint | | | Switch cases SEQ Case | | | Pop | | | Nop | | | Store arg StoreArgument | | | ArithInstruction ABSTRACT | | | | Neg | | | | Cmp ABSTRACT | | | | | CmpGT | | | | | CmpLT | | | | | CmpFloating greaterNaN bool | | | | | CmpIntegral | | | | Inc target VariableAccess increment int | | | | Sub | | | | And | | | | Rem | | | | Div | | | | XOr | | | | Mul | | | | Shift ABSTRACT | | | | | Shl | | | | | UShr | | | | | Shr | | | | Or | | | | Add | | | Try body CodeInterval handlers SEQ Handler | | Label name Name | | Block labels SEQ Name implicit bool elems SEQ Statement controlEnv Name->Block dataEnv Name->Variable | | Local type TypeExpr name OPT Name variable OPT Variable | | LocalClass target Class | MethodReferenceParameter type OPT TypeExpr | TypeParameter annotations SEQ Annotation name Id bound UpperTypeBound | LoadArgument ABSTRACT | | NullLiteral | | StoreArgument ABSTRACT | | | ArrayAccess type OPT Type | | | VariableAccess ABSTRACT target OPT Slot | | | | SlotRef | | | | This | | | | SlotReference index int wide bool | | | | VariableRef name Name | | LoadableExpr ABSTRACT entry ABSTRACT GETTER Loadable | | | MethodTypeExpr result ResultExpr parameters SEQ TypeExpr entry OPT MethodType | | | ClassExpr type ClassTypeExpr entry OPT ClassRef | | | MethodHandleExpr target MethodHandleTarget entry OPT MethodHandle | | | Literal ABSTRACT | | | | DoubleLiteral value Double entry OPT ConstantDouble | | | | LongLiteral value Long entry OPT ConstantLong | | | | CharLiteral value Character entry OPT ConstantInteger | | | | IntLiteral value Integer entry OPT ConstantInteger | | | | StringLiteral value String entry OPT ConstantString | | | | BooleanLiteral value bool entry OPT ConstantInteger | | | | FloatLiteral value Float entry OPT ConstantFloat | | | DynamicExpr type TypeExpr fullName MemberDynamicName | CodePoint ABSTRACT | | InlinePoint body Block | | GotoPoint id Name target OPT Block | Exception range GotoInterval type OPT ClassReference target GotoPoint | MemberFullName ABSTRACT name Id | | MemberStaticName owner OPT QualId | | MemberDynamicName factory MethodHandleExpr bootstrapArguments SEQ LoadableExpr | ClassReference type ClassTypeExpr entry OPT ClassRef Id ALGEBRAIC text String StackFrame ALGEBRAIC locals SEQ VType operands SEQ VType uninitThis bool Attribute ABSTRACT name ABSTRACT GETTER ConstantUTF8 | CustomAttribute name ConstantUTF8 attrs SEQ Attribute | StackMapTableAttribute name ConstantUTF8 | ConstantValueAttribute name ConstantUTF8 | AnnotationDefaultAttribute name ConstantUTF8 | ExceptionsAttribute name ConstantUTF8 | BootstrapMethodsAttribute name ConstantUTF8 bootstrapMethods SEQ BootstrapMethod | SignatureAttribute ABSTRACT name ConstantUTF8 signature OPT ConstantUTF8 | | FieldSignatureAttribute | | ClassSignatureAttribute | | MethodSignatureAttribute | CodeAttribute name ConstantUTF8 stackMap OPT StackMapTableAttribute BootstrapMethod ALGEBRAIC handle MethodHandle arguments SEQ Loadable Result ABSTRACT ALGEBRAIC | Void ALGEBRAIC | Type ABSTRACT ALGEBRAIC | | RefType ABSTRACT ALGEBRAIC | | | ClassType ALGEBRAIC name QualId | | | ArrayType ALGEBRAIC element Type | | PrimitiveType ABSTRACT ALGEBRAIC | | | CharType ALGEBRAIC | | | ShortType ALGEBRAIC | | | FloatType ALGEBRAIC | | | ByteType ALGEBRAIC | | | BooleanType ALGEBRAIC | | | WideType ABSTRACT ALGEBRAIC | | | | LongType ALGEBRAIC | | | | DoubleType ALGEBRAIC | | | IntType ALGEBRAIC VType ABSTRACT ALGEBRAIC | Category2VType ABSTRACT ALGEBRAIC | | DoubleVType ALGEBRAIC | | LongVType ALGEBRAIC | | TwoWordVType ALGEBRAIC | TopVType ALGEBRAIC | Category1VType ABSTRACT ALGEBRAIC | | AbstractIntVType ABSTRACT ALGEBRAIC | | | CharVType ALGEBRAIC | | | ShortVType ALGEBRAIC | | | IntVType ALGEBRAIC | | | ByteVType ALGEBRAIC | | | BooleanVType ALGEBRAIC | | UninitializedNewVType ALGEBRAIC offset New | | OneWordVType ALGEBRAIC | | NullVType ALGEBRAIC | | ObjectVType ALGEBRAIC classname string | | UninitializedThisVType ALGEBRAIC | | FloatVType ALGEBRAIC | | ReferenceVType ALGEBRAIC | | UninitializedVType ALGEBRAIC StackFrameDelta ALGEBRAIC delta int next StackFrame Variable ALGEBRAIC type Type name Name Name ABSTRACT ALGEBRAIC | ExplicitName ALGEBRAIC id Id | ImplicitName ALGEBRAIC id Anonymity QualId ALGEBRAIC qualifier SEQ Id id Id Slot ALGEBRAIC type Type index int Anonymity END MODEL // LLJava