package tp;
public class PVis {
public int ip_public;
protected int ip_protected;
int ip_package;
private int ip_private;
//@ ghost public int gp_public;
//@ ghost protected int gp_protected;
//@ ghost int gp_package;
//@ ghost private int gp_private;
public void mp_public() {};
protected void mp_protected() {}
void mp_package() {}
private void mp_private() {}
//@ model public void qp_public() {};
//@ model protected void qp_protected() {}
//@ model void qp_package() {}
//@ model private void qp_private() {}
/** public constructor */
public PVis() {}
/** protected constructor */
protected PVis(int i) {}
/** package constructor */
PVis(int i, int j) {}
/** private constructor */
private PVis(int i, int j, int k) {}
/** public model constructor */
//@ model public PVis(Object o) {}
/** protected model constructor */
//@ model protected PVis(float i) {}
/** package model constructor */
//@ model PVis(float i, float j) {}
/** private model constructor */
//@ model private PVis(float i, float j, float k) {}
public static class Cp_public {}
protected static class Cp_protected {}
static class Cp_package {}
private static class Cp_private {}
//@ model public static class Dp_public {}
//@ model protected static class Dp_protected {}
//@ model static class Dp_package {}
//@ model private static class Dp_private {}
public static enum EP_public { EPA }
protected static enum EP_protected { EPB }
static enum EP_package { EPC }
private static enum EP_private { EPD }
/** public nested model enum */
//@ model public static enum EMp_public { EMAp }
/** protected nested model enum */
//@ model protected static enum EMp_protected { EMBp }
/** package nested model enum */
//@ model static enum EMp_package { EMCp }
/** private nested model enum */
//@ model private static enum EMp_private { EMDp }
/** public nested interface */
public static interface Ip_public { }
/** protected nested interface */
protected static interface Ip_protected { }
/** package nested interface */
static interface Ip_package { }
/** private nested interface */
private static interface Ip_private { }
/** public nested model interface */
//@ model public static interface IMp_public { }
/** protected nested model interface */
//@ model protected static interface IMp_protected { }
/** package nested model interface */
//@ model static interface IMp_package { }
/** private nested model interface */
//@ model private static interface IMp_private { }
/** public nested annotation */
public static @interface Ap_public { }
/** protected nested annotation */
protected static @interface Ap_protected { }
/** package nested annotation */
static @interface Ap_package { }
/** private nested annotation */
private static @interface Ap_private { }
/** public nested model annotation */
//@ model public static @interface AMp_public { }
/** protected nested model annotation */
//@ model protected static @interface AMp_protected { }
/** package nested model annotation */
//@ model static @interface AMp_package { }
/** private nested model annotation */
//@ model private static @interface AMp_private { }
}