Uses of Class
eu.bandm.tools.lljava.absy.LLJava.ClassType
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 LLJava.ClassType in eu.bandm.tools.lljava.absy
Modifier and TypeFieldDescriptionstatic final LLJava.ClassType
SemanticUtils.javaLangObjectType
(package private) final LLJava.ClassType
ContextChecker.EnvironmentAnnotator.owner
(package private) LLJava.ClassType
ContextChecker.owner
(package private) LLJava.ClassType
TypeChecker.Inferrer.owner
(package private) LLJava.ClassType
ContextChecker.superclass
Modifier and TypeMethodDescriptionstatic LLJava.ClassType
LLJava.ClassType.doclone()
Clones this object.Copies values of all common fields from the argument.static final LLJava.ClassType
SemanticUtils.javaLangObjectType()
LLJava.ClassType.with_name
(LLJava.QualId val) Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionstatic Pattern<LLJava.ClassType>
LLJava.ClassType.get_name
(Pattern<? super LLJava.QualId> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.ClassType>
LLJava.__Patterns.term_ClassType
(Pattern<? super LLJava.RefType> superpattern, Pattern<? super LLJava.QualId> p_name) Modifier and TypeMethodDescriptionprotected void
LLJava.__Formatter.action
(LLJava.ClassType el) protected void
LLJava.MATCH_ONLY_00.action
(LLJava.ClassType e0) protected void
LLJava.MultiVisitor.action
(LLJava.ClassType e0) protected void
LLJava.Visitor.action
(LLJava.ClassType e0) protected void
LLJava.MultiVisitor.descend
(LLJava.ClassType e0) (package private) LLJava.StackFrame
TypeChecker.initial
(LLJava.ClassType owner, LLJava.Method m) void
LLJava.MATCH_ONLY_00.match
(LLJava.ClassType e0) protected void
LLJava.MultiVisitor.post
(LLJava.ClassType e0) protected void
LLJava.MultiVisitor.pre
(LLJava.ClassType e0) protected Format
LLJava.__Formatter.toFormat
(LLJava.ClassType el) boolean
LLJava.ClassType.x_equals
(LLJava.ClassType e0) Modifier and TypeMethodDescriptionLLJava.__Patterns.cast_ClassType
(Pattern<? super LLJava.ClassType> p)