|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttp.PVis
SVis
Vis
public class Vis extends SVis
Modifier and Type | Class and Description |
---|---|
(package private) static interface |
Vis.A_package
package nested annotation |
protected static interface |
Vis.A_protected
protected nested annotation |
static interface |
Vis.A_public
public nested annotation |
(package private) static class |
Vis.C_package
package nested class |
protected static class |
Vis.C_protected
protected nested class |
static class |
Vis.C_public
public nested class |
(package private) static class |
Vis.E_package
package nested enum |
protected static class |
Vis.E_protected
protected nested enum |
static class |
Vis.E_public
public nested enum |
(package private) static interface |
Vis.I_package
package nested interface |
protected static interface |
Vis.I_protected
protected nested interface |
static interface |
Vis.I_public
public nested interface |
|
|
---|---|
Modifier and Type | Class and Description |
@Model
(package private) static interface |
Vis.AM_package
package nested model annotation |
@Model
protected static interface |
Vis.AM_protected
protected nested model annotation |
@Model
static interface |
Vis.AM_public
public nested model annotation |
@Model
(package private) static class |
Vis.D_package
package nested model class |
@Model
protected static class |
Vis.D_protected
protected nested model class |
@Model
static class |
Vis.D_public
public nested model class |
@Model
(package private) static class |
Vis.EM_package
package nested model enum |
@Model
protected static class |
Vis.EM_protected
protected nested model enum |
@Model
static class |
Vis.EM_public
public nested model enum |
@Model
(package private) static interface |
Vis.IM_package
package nested model interface |
@Model
protected static interface |
Vis.IM_protected
protected nested model interface |
@Model
static interface |
Vis.IM_public
public nested model interface |
Nested classes/interfaces inherited from class SVis |
---|
SVis.As_package, SVis.As_protected, SVis.As_public, SVis.Cs_package, SVis.Cs_protected, SVis.Cs_public, SVis.ES_package, SVis.ES_protected, SVis.ES_public, SVis.Is_package, SVis.Is_protected, SVis.Is_public
|
Nested classes/interfaces inherited from class tp.PVis |
---|
PVis.Ap_protected, PVis.Ap_public, PVis.Cp_protected, PVis.Cp_public, PVis.EP_protected, PVis.EP_public, PVis.Ip_protected, PVis.Ip_public
|
Modifier and Type | Field and Description |
---|---|
(package private) int |
i_package
package field |
protected int |
i_protected
protected field |
int |
i_public
public field |
|
|
---|---|
Modifier and Type | Field and Description |
@Ghost
(package private) int |
g_package
package ghost field |
@Ghost
protected int |
g_protected
protected ghost field |
@Ghost
int |
g_public
public ghost field |
Fields inherited from class SVis |
---|
is_package, is_protected, is_public
|
Fields inherited from class tp.PVis |
---|
ip_protected, ip_public
|
Modifier | Constructor and Description |
---|---|
|
Vis()
public constructor |
protected |
Vis(int i)
protected constructor |
(package private) |
Vis(int i,
int j)
package constructor |
|
|
---|---|
Modifier | Constructor and Description |
protected |
Vis(float i)
protected model constructor |
(package private) |
Vis(float i,
float j)
package model constructor |
|
Vis(java.lang.Object o)
public model constructor |
Modifier and Type | Method and Description |
---|---|
(package private) void |
m_package()
package method |
protected void |
m_protected()
protected method |
void |
m_public()
public method |
|
|
---|---|
Modifier and Type | Method and Description |
@Model
(package private) void |
q_package()
package model method |
@Model
protected void |
q_protected()
protected model method |
@Model
void |
q_public()
public model method |
Methods inherited from class SVis |
---|
ms_package, ms_protected, ms_public
|
Methods inherited from class tp.PVis |
---|
mp_protected, mp_public
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int i_public
protected int i_protected
int i_package
JML Ghost Field Detail |
---|
@Ghost public int g_public
JML Specifications: @Ghost
@Ghost protected int g_protected
JML Specifications: @Ghost
@Ghost int g_package
JML Specifications: @Ghost
Constructor Detail |
---|
public Vis()
protected Vis(int i)
Vis(int i, int j)
JML Model Constructor Detail |
---|
@Model public Vis(java.lang.Object o)
@Model protected Vis(float i)
@Model Vis(float i, float j)
Method Detail |
---|
public void m_public()
protected void m_protected()
void m_package()
JML Model Method Detail |
---|
@Model public void q_public()
@Model protected void q_protected()
@Model void q_package()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |