|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttp.PVis
Vis
public class Vis extends PVis
Modifier and Type | Class and Description |
---|---|
static interface |
SVis.As_public
public nested annotation |
static class |
SVis.Cs_public
private model constructor |
static class |
SVis.ES_public
|
static interface |
SVis.Is_public
public nested interface |
static interface |
Vis.A_public
public nested annotation |
static class |
Vis.C_public
public nested class |
static class |
Vis.E_public
public nested enum |
static interface |
Vis.I_public
public nested interface |
|
|
---|---|
Modifier and Type | Class and Description |
@Model
static interface |
Vis.AM_public
public nested model annotation |
@Model
static class |
Vis.D_public
public nested model class |
@Model
static class |
Vis.EM_public
public nested model enum |
@Model
static interface |
Vis.IM_public
public nested model interface |
Nested classes/interfaces inherited from class tp.PVis |
---|
PVis.Ap_public, PVis.Cp_public, PVis.EP_public, PVis.Ip_public
|
Modifier and Type | Field and Description |
---|---|
int |
i_public
public field |
int |
is_public
|
|
|
---|---|
Modifier and Type | Field and Description |
@Ghost
int |
g_public
public ghost field |
Fields inherited from class tp.PVis |
---|
ip_public
|
Constructor and Description |
---|
Vis()
public constructor |
|
---|
Constructor and Description |
Vis(java.lang.Object o)
public model constructor |
Modifier and Type | Method and Description |
---|---|
void |
m_public()
public method |
void |
ms_public()
|
|
|
---|---|
Modifier and Type | Method and Description |
@Model
void |
q_public()
public model method |
Methods inherited from class tp.PVis |
---|
mp_public
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int i_public
public int is_public
JML Ghost Field Detail |
---|
@Ghost public int g_public
JML Specifications: @Ghost
Constructor Detail |
---|
public Vis()
JML Model Constructor Detail |
---|
@Model public Vis(java.lang.Object o)
Method Detail |
---|
public void m_public()
public void ms_public()
JML Model Method Detail |
---|
@Model public void q_public()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |