| 
 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| model.fish.* | 
|---|
| model.fish.display.CircleFishDisplay | ||
|---|---|---|
| private static final double | BODY_LENGTH | 0.8 | 
| private static final double | BODY_WIDTH | 0.9 | 
| private static final double | EYE_SIZE | 0.2 | 
| private static final double | TAIL_LENGTH | 0.3 | 
| private static final double | TAIL_WIDTH | 0.4 | 
| model.fish.display.LittleFishDisplay | ||
|---|---|---|
| private static final double | BODY_LENGTH | 0.5 | 
| private static final double | BODY_WIDTH | 0.2 | 
| private static final double | EYE_SIZE | 0.03 | 
| private static final double | TAIL_LENGTH | 0.4 | 
| private static final double | TAIL_WIDTH | 0.15 | 
| model.fish.display.NarrowFishDisplay | ||
|---|---|---|
| private static final double | BODY_LENGTH | 0.7 | 
| private static final double | BODY_WIDTH | 0.3 | 
| private static final double | EYE_SIZE | 0.05 | 
| private static final double | TAIL_LENGTH | 0.3 | 
| private static final double | TAIL_WIDTH | 0.3 | 
| model.fish.display.ParamFishDisplay | ||
|---|---|---|
| private static final double | BODY_LENGTH | 0.75 | 
| private static final double | BODY_WIDTH | 0.55 | 
| private static final double | EYE_SIZE | 0.08 | 
| private static final int | GRADIENT_SIZE | 50 | 
| private static final double | TAIL_LENGTH | 0.4 | 
| private static final double | TAIL_WIDTH | 0.5 | 
| model.fish.display.RoundFishDisplay | ||
|---|---|---|
| private static final double | BODY_LENGTH | 0.7 | 
| private static final double | BODY_WIDTH | 0.75 | 
| private static final double | EYE_SIZE | 0.12 | 
| private static final double | TAIL_LENGTH | 0.3 | 
| private static final double | TAIL_WIDTH | 0.6 | 
| sysModel.* | 
|---|
| sysModel.PolicyFile | ||
|---|---|---|
| private static final boolean | DEBUG | false | 
| private static final int | STATE_BEGIN | 0 | 
| private static final int | STATE_GRANT | 1 | 
| private static final int | STATE_PERMS | 2 | 
| sysModel.classFile.* | 
|---|
| sysModel.classFile.ClassFile | ||
|---|---|---|
| public static final int | ACC_ABSTRACT | 1024 | 
| public static final int | ACC_ANNOTATION | 8192 | 
| public static final int | ACC_BRIDGE | 64 | 
| public static final int | ACC_ENUM | 16384 | 
| public static final int | ACC_FINAL | 16 | 
| public static final int | ACC_INTERFACE | 512 | 
| public static final int | ACC_NATIVE | 256 | 
| public static final int | ACC_PRIVATE | 2 | 
| public static final int | ACC_PROTECTED | 4 | 
| public static final int | ACC_PUBLIC | 1 | 
| public static final int | ACC_STATIC | 8 | 
| public static final int | ACC_STRICT | 2048 | 
| public static final int | ACC_SYNCHRONIZED | 32 | 
| public static final int | ACC_SYNTHETIC | 4096 | 
| public static final int | ACC_TRANSIENT | 128 | 
| public static final int | ACC_VARARGS | 128 | 
| public static final int | ACC_VOLATILE | 64 | 
| private static final int | JAVA_FILE_MAGIC | -889275714 | 
| sysModel.classFile.code.Opcode | ||
|---|---|---|
| public static final byte | AALOAD | 50 | 
| public static final byte | AASTORE | 83 | 
| public static final byte | ACONST_NULL | 1 | 
| public static final byte | ALOAD | 25 | 
| public static final byte | ALOAD_0 | 42 | 
| public static final byte | ALOAD_1 | 43 | 
| public static final byte | ALOAD_2 | 44 | 
| public static final byte | ALOAD_3 | 45 | 
| public static final byte | ANEWARRAY | -67 | 
| public static final byte | ANEWARRAY_QUICK | -34 | 
| public static final byte | ARETURN | -80 | 
| public static final byte | ARRAYLENGTH | -66 | 
| public static final byte | ASTORE | 58 | 
| public static final byte | ASTORE_0 | 75 | 
| public static final byte | ASTORE_1 | 76 | 
| public static final byte | ASTORE_2 | 77 | 
| public static final byte | ASTORE_3 | 78 | 
| public static final byte | ATHROW | -65 | 
| public static final byte | BALOAD | 51 | 
| public static final byte | BASTORE | 84 | 
| public static final byte | BIPUSH | 16 | 
| public static final byte | BREAKPOINT | -54 | 
| public static final byte | CALOAD | 52 | 
| public static final byte | CASTORE | 85 | 
| public static final byte | CHECKCAST | -64 | 
| public static final byte | CHECKCAST_QUICK | -32 | 
| public static final byte | D2F | -112 | 
| public static final byte | D2I | -114 | 
| public static final byte | D2L | -113 | 
| public static final byte | DADD | 99 | 
| public static final byte | DALOAD | 49 | 
| public static final byte | DASTORE | 82 | 
| public static final byte | DCMPG | -104 | 
| public static final byte | DCMPL | -105 | 
| public static final byte | DCONST_0 | 14 | 
| public static final byte | DCONST_1 | 15 | 
| public static final byte | DDIV | 111 | 
| public static final byte | DLOAD | 24 | 
| public static final byte | DLOAD_0 | 38 | 
| public static final byte | DLOAD_1 | 39 | 
| public static final byte | DLOAD_2 | 40 | 
| public static final byte | DLOAD_3 | 41 | 
| public static final byte | DMUL | 107 | 
| public static final byte | DNEG | 119 | 
| public static final byte | DREM | 115 | 
| public static final byte | DRETURN | -81 | 
| public static final byte | DSTORE | 57 | 
| public static final byte | DSTORE_0 | 71 | 
| public static final byte | DSTORE_1 | 72 | 
| public static final byte | DSTORE_2 | 73 | 
| public static final byte | DSTORE_3 | 74 | 
| public static final byte | DSUB | 103 | 
| public static final byte | DUP | 89 | 
| public static final byte | DUP_X1 | 90 | 
| public static final byte | DUP_X2 | 91 | 
| public static final byte | DUP2 | 92 | 
| public static final byte | DUP2_X1 | 93 | 
| public static final byte | DUP2_X2 | 94 | 
| public static final byte | F2D | -115 | 
| public static final byte | F2I | -117 | 
| public static final byte | F2L | -116 | 
| public static final byte | FADD | 98 | 
| public static final byte | FALOAD | 48 | 
| public static final byte | FASTORE | 81 | 
| public static final byte | FCMPG | -106 | 
| public static final byte | FCMPL | -107 | 
| public static final byte | FCONST_0 | 11 | 
| public static final byte | FCONST_1 | 12 | 
| public static final byte | FCONST_2 | 13 | 
| public static final byte | FDIV | 110 | 
| public static final byte | FLOAD | 23 | 
| public static final byte | FLOAD_0 | 34 | 
| public static final byte | FLOAD_1 | 35 | 
| public static final byte | FLOAD_2 | 36 | 
| public static final byte | FLOAD_3 | 37 | 
| public static final byte | FMUL | 106 | 
| public static final byte | FNEG | 118 | 
| public static final byte | FREM | 114 | 
| public static final byte | FRETURN | -82 | 
| public static final byte | FSTORE | 56 | 
| public static final byte | FSTORE_0 | 67 | 
| public static final byte | FSTORE_1 | 68 | 
| public static final byte | FSTORE_2 | 69 | 
| public static final byte | FSTORE_3 | 70 | 
| public static final byte | FSUB | 102 | 
| public static final byte | GETFIELD | -76 | 
| public static final byte | GETFIELD_QUICK | -50 | 
| public static final byte | GETFIELD_QUICK_W | -29 | 
| public static final byte | GETFIELD2_QUICK | -48 | 
| public static final byte | GETSTATIC | -78 | 
| public static final byte | GETSTATIC_QUICK | -46 | 
| public static final byte | GETSTATIC2_QUICK | -44 | 
| public static final byte | GOTO | -89 | 
| public static final byte | GOTO_W | -56 | 
| public static final byte | I2B | -111 | 
| public static final byte | I2C | -110 | 
| public static final byte | I2D | -121 | 
| public static final byte | I2F | -122 | 
| public static final byte | I2L | -123 | 
| public static final byte | I2S | -109 | 
| public static final byte | IADD | 96 | 
| public static final byte | IALOAD | 46 | 
| public static final byte | IAND | 126 | 
| public static final byte | IASTORE | 79 | 
| public static final byte | ICONST_0 | 3 | 
| public static final byte | ICONST_1 | 4 | 
| public static final byte | ICONST_2 | 5 | 
| public static final byte | ICONST_3 | 6 | 
| public static final byte | ICONST_4 | 7 | 
| public static final byte | ICONST_5 | 8 | 
| public static final byte | ICONST_M1 | 2 | 
| public static final byte | IDIV | 108 | 
| public static final byte | IF_ACMPEQ | -91 | 
| public static final byte | IF_ACMPNE | -90 | 
| public static final byte | IF_ICMPEQ | -97 | 
| public static final byte | IF_ICMPGE | -94 | 
| public static final byte | IF_ICMPGT | -93 | 
| public static final byte | IF_ICMPLE | -92 | 
| public static final byte | IF_ICMPLT | -95 | 
| public static final byte | IF_ICMPNE | -96 | 
| public static final byte | IFEQ | -103 | 
| public static final byte | IFGE | -100 | 
| public static final byte | IFGT | -99 | 
| public static final byte | IFLE | -98 | 
| public static final byte | IFLT | -101 | 
| public static final byte | IFNE | -102 | 
| public static final byte | IFNONNULL | -57 | 
| public static final byte | IFNULL | -58 | 
| public static final byte | IINC | -124 | 
| public static final byte | ILOAD | 21 | 
| public static final byte | ILOAD_0 | 26 | 
| public static final byte | ILOAD_1 | 27 | 
| public static final byte | ILOAD_2 | 28 | 
| public static final byte | ILOAD_3 | 29 | 
| public static final byte | IMPDEP1 | -2 | 
| public static final byte | IMPDEP2 | -1 | 
| public static final byte | IMUL | 104 | 
| public static final byte | INEG | 116 | 
| public static final byte | INSTANCEOF | -63 | 
| public static final byte | INSTANCEOF_QUICK | -31 | 
| public static final byte | INVOKEINTERFACE | -71 | 
| public static final byte | INVOKEINTERFACE_QUICK | -38 | 
| public static final byte | INVOKENONVIRTUAL_QUICK | -41 | 
| public static final byte | INVOKESPECIAL | -73 | 
| public static final byte | INVOKESTATIC | -72 | 
| public static final byte | INVOKESTATIC_QUICK | -39 | 
| public static final byte | INVOKESUPER_QUICK | -40 | 
| public static final byte | INVOKEVIRTUAL | -74 | 
| public static final byte | INVOKEVIRTUAL_QUICK | -42 | 
| public static final byte | INVOKEVIRTUAL_QUICK_W | -30 | 
| public static final byte | INVOKEVIRTUALOBJECT_QUICK | -37 | 
| public static final byte | IOR | -128 | 
| public static final byte | IREM | 112 | 
| public static final byte | IRETURN | -84 | 
| public static final byte | ISHL | 120 | 
| public static final byte | ISHR | 122 | 
| public static final byte | ISTORE | 54 | 
| public static final byte | ISTORE_0 | 59 | 
| public static final byte | ISTORE_1 | 60 | 
| public static final byte | ISTORE_2 | 61 | 
| public static final byte | ISTORE_3 | 62 | 
| public static final byte | ISUB | 100 | 
| public static final byte | IUSHR | 124 | 
| public static final byte | IXOR | -126 | 
| public static final byte | JSR | -88 | 
| public static final byte | JSR_W | -55 | 
| public static final byte | L2D | -118 | 
| public static final byte | L2F | -119 | 
| public static final byte | L2I | -120 | 
| public static final byte | LADD | 97 | 
| public static final byte | LALOAD | 47 | 
| public static final byte | LAND | 127 | 
| public static final byte | LASTORE | 80 | 
| public static final byte | LCMP | -108 | 
| public static final byte | LCONST_0 | 9 | 
| public static final byte | LCONST_1 | 10 | 
| public static final byte | LDC | 18 | 
| public static final byte | LDC_QUICK | -53 | 
| public static final byte | LDC_W | 19 | 
| public static final byte | LDC_W_QUICK | -52 | 
| public static final byte | LDC2_W | 20 | 
| public static final byte | LDC2_W_QUICK | -51 | 
| public static final byte | LDIV | 109 | 
| public static final byte | LLOAD | 22 | 
| public static final byte | LLOAD_0 | 30 | 
| public static final byte | LLOAD_1 | 31 | 
| public static final byte | LLOAD_2 | 32 | 
| public static final byte | LLOAD_3 | 33 | 
| public static final byte | LMUL | 105 | 
| public static final byte | LNEG | 117 | 
| public static final byte | LOOKUPSWITCH | -85 | 
| public static final byte | LOR | -127 | 
| public static final byte | LREM | 113 | 
| public static final byte | LRETURN | -83 | 
| public static final byte | LSHL | 121 | 
| public static final byte | LSHR | 123 | 
| public static final byte | LSTORE | 55 | 
| public static final byte | LSTORE_0 | 63 | 
| public static final byte | LSTORE_1 | 64 | 
| public static final byte | LSTORE_2 | 65 | 
| public static final byte | LSTORE_3 | 66 | 
| public static final byte | LSUB | 101 | 
| public static final byte | LUSHR | 125 | 
| public static final byte | LXOR | -125 | 
| public static final byte | MONITORENTER | -62 | 
| public static final byte | MONITOREXIT | -61 | 
| public static final byte | MULTIANEWARRAY | -59 | 
| public static final byte | MULTIANEWARRAY_QUICK | -33 | 
| public static final byte | NEW | -69 | 
| public static final byte | NEW_QUICK | -35 | 
| public static final byte | NEWARRAY | -68 | 
| public static final byte | NOP | 0 | 
| public static final byte | POP | 87 | 
| public static final byte | POP2 | 88 | 
| public static final byte | PUTFIELD | -75 | 
| public static final byte | PUTFIELD_QUICK | -49 | 
| public static final byte | PUTFIELD_QUICK_W | -28 | 
| public static final byte | PUTFIELD2_QUICK | -47 | 
| public static final byte | PUTSTATIC | -77 | 
| public static final byte | PUTSTATIC_QUICK | -45 | 
| public static final byte | PUTSTATIC2_QUICK | -43 | 
| public static final byte | RET | -87 | 
| public static final byte | RETURN | -79 | 
| public static final byte | SALOAD | 53 | 
| public static final byte | SASTORE | 86 | 
| public static final byte | SIPUSH | 17 | 
| public static final byte | SWAP | 95 | 
| public static final byte | TABLESWITCH | -86 | 
| public static final byte | UNKNOWN_DC | -36 | 
| public static final byte | UNKNOWN_E5 | -27 | 
| public static final byte | UNKNOWN_E6 | -26 | 
| public static final byte | UNKNOWN_E7 | -25 | 
| public static final byte | UNKNOWN_E8 | -24 | 
| public static final byte | UNKNOWN_E9 | -23 | 
| public static final byte | UNKNOWN_EA | -22 | 
| public static final byte | UNKNOWN_EB | -21 | 
| public static final byte | UNKNOWN_EC | -20 | 
| public static final byte | UNKNOWN_ED | -19 | 
| public static final byte | UNKNOWN_EE | -18 | 
| public static final byte | UNKNOWN_EF | -17 | 
| public static final byte | UNKNOWN_F0 | -16 | 
| public static final byte | UNKNOWN_F1 | -15 | 
| public static final byte | UNKNOWN_F2 | -14 | 
| public static final byte | UNKNOWN_F3 | -13 | 
| public static final byte | UNKNOWN_F4 | -12 | 
| public static final byte | UNKNOWN_F5 | -11 | 
| public static final byte | UNKNOWN_F6 | -10 | 
| public static final byte | UNKNOWN_F7 | -9 | 
| public static final byte | UNKNOWN_F8 | -8 | 
| public static final byte | UNKNOWN_F9 | -7 | 
| public static final byte | UNKNOWN_FA | -6 | 
| public static final byte | UNKNOWN_FB | -5 | 
| public static final byte | UNKNOWN_FC | -4 | 
| public static final byte | UNKNOWN_FD | -3 | 
| public static final byte | WIDE | -60 | 
| public static final byte | XXXUNUSEDXXX | -70 | 
| sysModel.classFile.constantPool.APoolInfo | ||
|---|---|---|
| public static final int | CONSTANT_Class | 7 | 
| public static final int | CONSTANT_Double | 6 | 
| public static final int | CONSTANT_Fieldref | 9 | 
| public static final int | CONSTANT_Float | 4 | 
| public static final int | CONSTANT_Integer | 3 | 
| public static final int | CONSTANT_InterfaceMethodref | 11 | 
| public static final int | CONSTANT_Long | 5 | 
| public static final int | CONSTANT_Methodref | 10 | 
| public static final int | CONSTANT_NameAndType | 12 | 
| public static final int | CONSTANT_String | 8 | 
| public static final int | CONSTANT_Utf8_ASCII | 1 | 
| public static final int | CONSTANT_Utf8_Unicode | 2 | 
| sysModel.env.* | 
|---|
| sysModel.env.ASquareEnv.Direction | ||
|---|---|---|
| private final double | EPSILON | 1.0E-10 | 
| sysModel.env.BoundedEnv | ||
|---|---|---|
| protected final int | PAN_SIZE | 2000 | 
| sysModel.env.UnboundedEnv | ||
|---|---|---|
| protected final int | PAN_SIZE | 2000 | 
| view.* | 
|---|
| view.CreateEnvDialog | ||
|---|---|---|
| private static final int | CANCEL_BUTTON | 1 | 
| private static final int | CREATE_BUTTON | 0 | 
| view.DisplayPanel | ||
|---|---|---|
| private static final int | DEFAULT_CELL_SIZE | 32 | 
| private static final int | MIN_CELL_SIZE | 8 | 
| view.DisplayViewport | ||
|---|---|---|
| private static final int | ORIGIN_TIP_DELAY | 1000 | 
| view.view.EditToolbar.ColorIcon | ||
|---|---|---|
| private static final int | MARGIN | 2 | 
| view.EnvFileChooser | ||
|---|---|---|
| private static final java.lang.String | ENV_EXT | ".txt" | 
| view.MBSView | ||
|---|---|---|
| private static final java.lang.String | VERSION_DATE | "July 2004" | 
| view.SimToolbar | ||
|---|---|---|
| private static final int | INITIAL_DELAY | 505 | 
| private static final int | MAX_DELAY_MSECS | 1000 | 
| private static final int | MIN_DELAY_MSECS | 10 | 
| 
 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||