|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttp.PVis
SVis
class SVis extends PVis
Modifier and Type | Class and Description |
---|---|
(package private) static interface |
SVis.As_package
package nested annotation |
protected static interface |
SVis.As_protected
protected nested annotation |
static interface |
SVis.As_public
public nested annotation |
(package private) static class |
SVis.Cs_package
|
protected static class |
SVis.Cs_protected
|
static class |
SVis.Cs_public
private model constructor |
(package private) static class |
SVis.ES_package
|
protected static class |
SVis.ES_protected
|
static class |
SVis.ES_public
|
(package private) static interface |
SVis.Is_package
package nested interface |
protected static interface |
SVis.Is_protected
protected nested interface |
static interface |
SVis.Is_public
public nested interface |
|
|
---|---|
Modifier and Type | Class and Description |
@Model
(package private) static interface |
SVis.AMs_package
package nested model annotation |
@Model
protected static interface |
SVis.AMs_protected
protected nested model annotation |
@Model
static interface |
SVis.AMs_public
public nested model annotation |
@Model
(package private) static class |
SVis.Ds_package
|
@Model
protected static class |
SVis.Ds_protected
|
@Model
static class |
SVis.Ds_public
|
@Model
(package private) static class |
SVis.EMs_package
package nested model enum |
@Model
protected static class |
SVis.EMs_protected
protected nested model enum |
@Model
static class |
SVis.EMs_public
public nested model enum |
@Model
(package private) static interface |
SVis.IMs_package
package nested model interface |
@Model
protected static interface |
SVis.IMs_protected
protected nested model interface |
@Model
static interface |
SVis.IMs_public
public nested model interface |
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 |
is_package
|
protected int |
is_protected
|
int |
is_public
|
|
|
---|---|
Modifier and Type | Field and Description |
@Ghost
(package private) int |
gs_package
|
@Ghost
protected int |
gs_protected
|
@Ghost
int |
gs_public
|
Fields inherited from class tp.PVis |
---|
ip_protected, ip_public
|
Modifier | Constructor and Description |
---|---|
|
SVis()
public constructor |
protected |
SVis(int i)
protected constructor |
(package private) |
SVis(int i,
int j)
package constructor |
|
|
---|---|
Modifier | Constructor and Description |
protected |
SVis(float i)
protected model constructor |
(package private) |
SVis(float i,
float j)
package model constructor |
|
SVis(java.lang.Object o)
public model constructor |
Modifier and Type | Method and Description |
---|---|
(package private) void |
ms_package()
|
protected void |
ms_protected()
|
void |
ms_public()
|
|
|
---|---|
Modifier and Type | Method and Description |
@Model
(package private) void |
qs_package()
|
@Model
protected void |
qs_protected()
|
@Model
void |
qs_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 is_public
protected int is_protected
int is_package
JML Ghost Field Detail |
---|
@Ghost public int gs_public
JML Specifications: @Ghost
@Ghost protected int gs_protected
JML Specifications: @Ghost
@Ghost int gs_package
JML Specifications: @Ghost
Constructor Detail |
---|
public SVis()
protected SVis(int i)
SVis(int i, int j)
JML Model Constructor Detail |
---|
@Model public SVis(java.lang.Object o)
@Model protected SVis(float i)
@Model SVis(float i, float j)
Method Detail |
---|
public void ms_public()
protected void ms_protected()
void ms_package()
JML Model Method Detail |
---|
@Model public void qs_public()
@Model protected void qs_protected()
@Model void qs_package()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |