Uses of Class
eu.bandm.tools.lljava.absy.LLJava.ExplicitName
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.ExplicitName in eu.bandm.tools.lljava.absy
Modifier and TypeMethodDescriptionLLJava.ExplicitName.doclone()
Clones this object.Copies values of all common fields from the argument.Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionstatic Pattern<LLJava.ExplicitName>
Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.ExplicitName>
LLJava.__Patterns.term_ExplicitName
(Pattern<? super LLJava.Name> superpattern, Pattern<? super LLJava.Id> p_id) Modifier and TypeMethodDescriptionprotected void
LLJava.__Formatter.action
(LLJava.ExplicitName el) protected void
LLJava.MATCH_ONLY_00.action
(LLJava.ExplicitName e0) protected void
LLJava.MultiVisitor.action
(LLJava.ExplicitName e0) protected void
LLJava.Visitor.action
(LLJava.ExplicitName e0) protected void
LLJava.MultiVisitor.descend
(LLJava.ExplicitName e0) void
LLJava.MATCH_ONLY_00.match
(LLJava.ExplicitName e0) protected void
LLJava.MultiVisitor.post
(LLJava.ExplicitName e0) protected void
LLJava.MultiVisitor.pre
(LLJava.ExplicitName e0) protected Format
LLJava.__Formatter.toFormat
(LLJava.ExplicitName el) boolean
LLJava.ExplicitName.x_equals
(LLJava.ExplicitName e0) Modifier and TypeMethodDescriptionLLJava.__Patterns.cast_ExplicitName
(Pattern<? super LLJava.ExplicitName> p)