|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttp.PVis
public class PVis extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected static interface |
PVis.Ap_protected
protected nested annotation |
static interface |
PVis.Ap_public
public nested annotation |
protected static class |
PVis.Cp_protected
|
static class |
PVis.Cp_public
private model constructor |
protected static class |
PVis.EP_protected
|
static class |
PVis.EP_public
|
protected static interface |
PVis.Ip_protected
protected nested interface |
static interface |
PVis.Ip_public
public nested interface |
|
|
---|---|
Modifier and Type | Class and Description |
@Model
protected static interface |
tp.PVis.AMp_protected
protected nested model annotation |
@Model
static interface |
tp.PVis.AMp_public
public nested model annotation |
@Model
protected static class |
tp.PVis.Dp_protected
|
@Model
static class |
tp.PVis.Dp_public
|
@Model
protected static class |
tp.PVis.EMp_protected
protected nested model enum |
@Model
static class |
tp.PVis.EMp_public
public nested model enum |
@Model
protected static interface |
tp.PVis.IMp_protected
protected nested model interface |
@Model
static interface |
tp.PVis.IMp_public
public nested model interface |
Modifier and Type | Field and Description |
---|---|
protected int |
ip_protected
|
int |
ip_public
|
|
|
---|---|
Modifier and Type | Field and Description |
@Ghost
protected int |
gp_protected
|
@Ghost
int |
gp_public
|
Modifier | Constructor and Description |
---|---|
|
PVis()
public constructor |
protected |
PVis(int i)
protected constructor |
|
|
---|---|
Modifier | Constructor and Description |
protected |
PVis(float i)
protected model constructor |
|
PVis(java.lang.Object o)
public model constructor |
Modifier and Type | Method and Description |
---|---|
protected void |
mp_protected()
|
void |
mp_public()
|
|
|
---|---|
Modifier and Type | Method and Description |
@Model
protected void |
qp_protected()
|
@Model
void |
qp_public()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int ip_public
protected int ip_protected
JML Ghost Field Detail |
---|
@Ghost public int gp_public
JML Specifications: @Ghost
@Ghost protected int gp_protected
JML Specifications: @Ghost
Constructor Detail |
---|
public PVis()
protected PVis(int i)
JML Model Constructor Detail |
---|
@Model public PVis(java.lang.Object o)
@Model protected PVis(float i)
Method Detail |
---|
public void mp_public()
protected void mp_protected()
JML Model Method Detail |
---|
@Model public void qp_public()
@Model protected void qp_protected()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |