public abstract static class LLJava.TypeBound extends LLJava.Node
Modifier and Type | Field and Description |
---|---|
protected LLJava.Type |
erasure
The raw type represented by this type bound
specification.
|
protected LLJava.ReferenceTypeExpr |
limit
Generated by umod; model author's documentation MISSING.
|
location
format
Constructor and Description |
---|
TypeBound(LLJava.ReferenceTypeExpr limit)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.TypeBound |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing by inheritance from some ancestor class.
|
LLJava.Type |
get_erasure()
The raw type represented by this type bound
specification.
|
static Pattern<LLJava.TypeBound> |
get_erasure(Pattern<? super LLJava.Type> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
LLJava.ReferenceTypeExpr |
get_limit()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.TypeBound> |
get_limit(Pattern<? super LLJava.ReferenceTypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
LLJava.TypeBound |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_erasure(LLJava.Type val)
The raw type represented by this type bound
specification.
|
boolean |
set_limit(LLJava.ReferenceTypeExpr val)
Generated by umod; model author's documentation MISSING.
|
get_location, get_location, set_location
protected LLJava.ReferenceTypeExpr limit
LLJava.ReferenceTypeExpr
(never
null)protected LLJava.Type erasure
ContextChecker
. LLJava.Type
(maybe null)public TypeBound(LLJava.ReferenceTypeExpr limit)
limit
- is copied to field limit
public LLJava.TypeBound doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.Node
public Format format()
format
in interface Formattable
format
in class LLJava.Node
public LLJava.TypeBound initFrom(Object o0)
initFrom
in class LLJava.Node
public LLJava.ReferenceTypeExpr get_limit()
LLJava.ReferenceTypeExpr
(never
null)public boolean set_limit(LLJava.ReferenceTypeExpr val)
val
- the new value of type LLJava.ReferenceTypeExpr
(never
null)limit
public LLJava.Type get_erasure()
ContextChecker
. LLJava.Type
(maybe null)public boolean set_erasure(LLJava.Type val)
ContextChecker
. val
- the new value of type LLJava.Type
(maybe null)erasure
public static Pattern<LLJava.TypeBound> get_limit(Pattern<? super LLJava.ReferenceTypeExpr> p)
LLJava.__Patterns
.public static Pattern<LLJava.TypeBound> get_erasure(Pattern<? super LLJava.Type> p)
LLJava.__Patterns
.see also the complete user documentation .