Class SVis

java.lang.Object
  extended by tp.PVis
      extended by SVis
Direct Known Subclasses:
Vis

 class SVis
extends PVis


Nested Class Summary
Modifier and Type Class and Description
(package private) static interface SVis.As_package
          package nested annotation
private static interface SVis.As_private
          private 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
           
private static class SVis.Cs_private
           
protected static class SVis.Cs_protected
           
static class SVis.Cs_public
          private model constructor
(package private) static class SVis.ES_package
           
private static class SVis.ES_private
           
protected static class SVis.ES_protected
           
static class SVis.ES_public
           
(package private) static interface SVis.Is_package
          package nested interface
private static interface SVis.Is_private
          private nested interface
protected static interface SVis.Is_protected
          protected nested interface
static interface SVis.Is_public
          public nested interface
 
JML Nested Model Class Summary
Modifier and Type Class and Description
@Model (package private) static interface SVis.AMs_package
          package nested model annotation
@Model private static interface SVis.AMs_private
          private 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 private static class SVis.Ds_private
           
@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 private static class SVis.EMs_private
          private 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 private static interface SVis.IMs_private
          private 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
Inherited JML model classes and interfaces: tp.PVis.AMp_protected, tp.PVis.AMp_public, tp.PVis.Dp_protected, tp.PVis.Dp_public, tp.PVis.EMp_protected, tp.PVis.EMp_public, tp.PVis.IMp_protected, tp.PVis.IMp_public
 
Field Summary
Modifier and Type Field and Description
(package private)  int is_package
           
private  int is_private
           
protected  int is_protected
           
 int is_public
           
 
JML Ghost and Model Field Summary
Modifier and Type Field and Description
@Ghost (package private)  int gs_package
           
@Ghost private  int gs_private
           
@Ghost protected  int gs_protected
           
@Ghost  int gs_public
           
 
Fields inherited from class tp.PVis
ip_protected, ip_public
Inherited JML ghost and model fields: gp_protected, gp_public
 
Constructor Summary
Modifier Constructor and Description
  SVis()
          public constructor
protected SVis(int i)
          protected constructor
(package private) SVis(int i, int j)
          package constructor
private SVis(int i, int j, int k)
          private constructor
 
JML Model Constructor Summary
Modifier Constructor and Description
protected SVis(float i)
          protected model constructor
(package private) SVis(float i, float j)
          package model constructor
private SVis(float i, float j, float k)
          private model constructor
  SVis(java.lang.Object o)
          public model constructor
 
Method Summary
Modifier and Type Method and Description
(package private)  void ms_package()
           
private  void ms_private()
           
protected  void ms_protected()
           
 void ms_public()
           
 
JML Model Method Summary
Modifier and Type Method and Description
@Model (package private)  void qs_package()
           
@Model private  void qs_private()
           
@Model protected  void qs_protected()
           
@Model  void qs_public()
           
 
Methods inherited from class tp.PVis
mp_protected, mp_public
Inherited JML model methods: qp_protected, qp_public
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

is_public

public int is_public

is_protected

protected int is_protected

is_package

int is_package

is_private

private int is_private
JML Ghost Field Detail

gs_public

@Ghost
public int gs_public
 

JML Specifications: @Ghost



gs_protected

@Ghost
protected int gs_protected
 

JML Specifications: @Ghost



gs_package

@Ghost
int gs_package
 

JML Specifications: @Ghost



gs_private

@Ghost
private int gs_private
 

JML Specifications: @Ghost


Constructor Detail

SVis

public SVis()
public constructor



SVis

protected SVis(int i)
protected constructor



SVis

SVis(int i,
     int j)
package constructor



SVis

private SVis(int i,
             int j,
             int k)
private constructor


JML Model Constructor Detail

SVis

@Model
public SVis(java.lang.Object o)
public model constructor


JML Constructor Specifications: @Model


SVis

@Model
protected SVis(float i)
protected model constructor


JML Constructor Specifications: @Model


SVis

@Model
SVis(float i,
           float j)
package model constructor


JML Constructor Specifications: @Model


SVis

@Model
private SVis(float i,
                   float j,
                   float k)
private model constructor


JML Constructor Specifications: @Model

Method Detail

ms_public

public void ms_public()


ms_protected

protected void ms_protected()


ms_package

void ms_package()


ms_private

private void ms_private()

JML Model Method Detail

qs_public

@Model
public void qs_public()

JML Method Specifications: @Model


qs_protected

@Model
protected void qs_protected()

JML Method Specifications: @Model


qs_package

@Model
void qs_package()

JML Method Specifications: @Model


qs_private

@Model
private void qs_private()

JML Method Specifications: @Model