public static class LLJava.UpperTypeBound extends LLJava.TypeBound
Modifier and Type | Field and Description |
---|---|
protected CheckedList<LLJava.ReferenceTypeExpr> |
interfaces
Generated by umod; model author's documentation MISSING.
|
erasure, limit
location
format
Constructor and Description |
---|
UpperTypeBound(LLJava.ReferenceTypeExpr limit)
Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". |
UpperTypeBound(LLJava.ReferenceTypeExpr limit,
CheckedList<LLJava.ReferenceTypeExpr> interfaces)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
void |
descend_interfaces(LLJava.MATCH_ONLY_00 visitor) |
LLJava.UpperTypeBound |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
CheckedList<LLJava.ReferenceTypeExpr> |
get_interfaces()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.UpperTypeBound> |
get_interfaces(Pattern<? super CheckedList<LLJava.ReferenceTypeExpr>> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static String |
getFormatHint()
Delivers the format specification from the umod source.
|
LLJava.UpperTypeBound |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_interfaces(CheckedList<LLJava.ReferenceTypeExpr> val)
Generated by umod; model author's documentation MISSING.
|
get_erasure, get_erasure, get_limit, get_limit, set_erasure, set_limit
get_location, get_location, set_location
protected CheckedList<LLJava.ReferenceTypeExpr> interfaces
CheckedList
<LLJava.ReferenceTypeExpr
(never null)>(never null)public UpperTypeBound(LLJava.ReferenceTypeExpr limit, CheckedList<LLJava.ReferenceTypeExpr> interfaces)
limit
- is copied to field LLJava.TypeBound.limit
interfaces
- is copied to field interfaces
public UpperTypeBound(LLJava.ReferenceTypeExpr limit)
limit
- is copied to field LLJava.TypeBound.limit
public LLJava.UpperTypeBound doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.TypeBound
public static String getFormatHint()
'extends' limit,interfaces{
'&' $this}[,]
public Format format()
format
in interface Formattable
format
in class LLJava.TypeBound
public LLJava.UpperTypeBound initFrom(Object o0)
initFrom
in class LLJava.TypeBound
public CheckedList<LLJava.ReferenceTypeExpr> get_interfaces()
CheckedList
<LLJava.ReferenceTypeExpr
(never null)>(never null)public boolean set_interfaces(CheckedList<LLJava.ReferenceTypeExpr> val)
val
- the new value of type CheckedList
<LLJava.ReferenceTypeExpr
(never null)>(never null)interfaces
public void descend_interfaces(LLJava.MATCH_ONLY_00 visitor)
public static Pattern<LLJava.UpperTypeBound> get_interfaces(Pattern<? super CheckedList<LLJava.ReferenceTypeExpr>> p)
LLJava.__Patterns
.see also the complete user documentation .