public static class LLJava.CmpFloating extends LLJava.Cmp
Modifier and Type | Field and Description |
---|---|
protected boolean |
greaterNaN
Generated by umod; model author's documentation MISSING.
|
post, pre
location
format
Constructor and Description |
---|
CmpFloating(boolean greaterNaN)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.CmpFloating |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
boolean |
get_greaterNaN()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.CmpFloating> |
get_greaterNaN(Pattern<? super Boolean> 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.CmpFloating |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_greaterNaN(boolean val)
Generated by umod; model author's documentation MISSING.
|
get_post, get_post, get_pre, get_pre, set_post, set_pre
toString
get_location, get_location, set_location
protected boolean greaterNaN
get_greaterNaN()
,
set_greaterNaN(boolean)
public CmpFloating(boolean greaterNaN)
greaterNaN
- is copied to field greaterNaN
public LLJava.CmpFloating doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.Cmp
public static String getFormatHint()
'cmp' greaterNaN{$java
'FormatUtils.cmpOperator'}
public Format format()
format
in interface Formattable
format
in class LLJava.Cmp
public LLJava.CmpFloating initFrom(Object o0)
initFrom
in class LLJava.Cmp
public boolean get_greaterNaN()
public boolean set_greaterNaN(boolean val)
val
- the new value of type boolean(never null)greaterNaN
public static Pattern<LLJava.CmpFloating> get_greaterNaN(Pattern<? super Boolean> p)
LLJava.__Patterns
.see also the complete user documentation .