public class PushValueObject extends Instruction implements PushValue, PushObject
ABS_I, ABS_R, ADD_II, ADD_IR, ADD_RI, ADD_RR, APPLY_COLL_I, APPLY_COLL_O, APPLY_COLL_R, APPLY_FHOM_I, APPLY_FHOM_O, APPLY_FHOM_R, APPLY_HOM_I, APPLY_HOM_O, APPLY_HOM_R, APPLY_IP_FHOM_I, APPLY_IP_FHOM_O, APPLY_IP_FHOM_R, APPLY_IP_HOM_I, APPLY_IP_HOM_O, APPLY_IP_HOM_R, ARRAY_INITIALIZE, ARRAY_SIZE, ARRAY_TO_MAP_I, ARRAY_TO_MAP_O, ARRAY_TO_MAP_R, BELONGS_I, BELONGS_O, BELONGS_R, CHECK_ARRAY_SIZE, D_INTER_1, D_INTER_2, D_SDIFF, D_UNION_1, D_UNION_2, D_XNION_1, D_XNION_2, DIV_II, DIV_IR, DIV_RI, DIV_RR, DUMMY_AND, DUMMY_BELONGS, DUMMY_EQU, DUMMY_FIRST, DUMMY_LAST, DUMMY_NEQ, DUMMY_NEXT, DUMMY_NEXT_C, DUMMY_NEXT_C_OFFSET, DUMMY_NEXT_OFFSET, DUMMY_OR, DUMMY_ORD, DUMMY_PREV, DUMMY_PREV_C, DUMMY_PREV_C_OFFSET, DUMMY_PREV_OFFSET, DUMMY_SET_ADD, DUMMY_SET_RMV, DUMMY_SIZE, DUMMY_STRCON, DUMMY_WRITE, END, EQU_II, EQU_OO, EQU_RR, FILL_ARRAY_IA, FILL_ARRAY_IM, FILL_ARRAY_OA, FILL_ARRAY_OM, FILL_ARRAY_RA, FILL_ARRAY_RM, FILL_MAP_IA, FILL_MAP_IM, FILL_MAP_OA, FILL_MAP_OM, FILL_MAP_RA, FILL_MAP_RM, FIRST_I, FIRST_O, FIRST_R, GET_ARRAY_I, GET_ARRAY_O, GET_ARRAY_R, GET_INDEXABLE, GET_INT_INDEXED_MAP_I, GET_INT_INDEXED_MAP_O, GET_INT_INDEXED_MAP_R, GET_MAP_I, GET_MAP_O, GET_MAP_R, GRT_II, GRT_IR, GRT_RI, GRT_RR, GTE_II, GTE_IR, GTE_RI, GTE_RR, I_TO_O, I_TO_R, INDEXABLE_SIZE, INT_RNG_LB, INT_RNG_UB, INTER, LAST_I, LAST_O, LAST_R, LST_II, LST_IR, LST_RI, LST_RR, LTE_II, LTE_IR, LTE_RI, LTE_RR, MAKE_ARRAY_I, MAKE_ARRAY_O, MAKE_ARRAY_R, MAKE_MAP_I, MAKE_MAP_O, MAKE_MAP_R, MAKE_SET_I, MAKE_SET_O, MAKE_SET_R, MAP_SIZE, MAP_TO_ARRAY, MAX_II, MAX_IR, MAX_RI, MAX_RR, MIN_II, MIN_IR, MIN_RI, MIN_RR, MINUS_I, MINUS_R, MODULO, MUL_II, MUL_IR, MUL_RI, MUL_RR, NEQ_II, NEQ_OO, NEQ_RR, NEXT_C_I, NEXT_C_I_OFFSET, NEXT_C_O, NEXT_C_O_OFFSET, NEXT_C_R, NEXT_C_R_OFFSET, NEXT_I, NEXT_I_OFFSET, NEXT_O, NEXT_O_OFFSET, NEXT_R, NEXT_R_OFFSET, NL_RETURN_I, NL_RETURN_O, NL_RETURN_R, NL_RETURN_VOID, NO_OP, NOT, O_TO_I, O_TO_R, ORD_I, ORD_O, ORD_R, POP_I, POP_O, POP_R, POWER, PREV_C_I, PREV_C_I_OFFSET, PREV_C_O, PREV_C_O_OFFSET, PREV_C_R, PREV_C_R_OFFSET, PREV_I, PREV_I_OFFSET, PREV_O, PREV_O_OFFSET, PREV_R, PREV_R_OFFSET, PUSH_0_I, PUSH_0_R, PUSH_1_I, PUSH_ARRAY_I, PUSH_ARRAY_O, PUSH_ARRAY_R, PUSH_BOXED_FALSE, PUSH_BOXED_TRUE, PUSH_BOXED_VOID, PUSH_EMPTY_STR, PUSH_FALSE, PUSH_INT_RNG, PUSH_MAP_I, PUSH_MAP_O, PUSH_MAP_R, PUSH_NULL, PUSH_ONE, PUSH_REAL_RNG, PUSH_SET_I, PUSH_SET_O, PUSH_SET_R, PUSH_TRUE, PUSH_VOID, PUSH_ZERO_I, PUSH_ZERO_R, R_TO_I, R_TO_O, RANDOM, REAL_RNG_LB, REAL_RNG_UB, RECONCILE_INDEXABLES, RETURN_I, RETURN_O, RETURN_R, RETURN_VOID, SDIFF, SET_ADD_I, SET_ADD_O, SET_ADD_R, SET_ARRAY_I, SET_ARRAY_O, SET_ARRAY_R, SET_COPY, SET_INT_INDEXED_MAP_I, SET_INT_INDEXED_MAP_O, SET_INT_INDEXED_MAP_R, SET_MAP_I, SET_MAP_O, SET_MAP_R, SET_RMV_I, SET_RMV_O, SET_RMV_R, SHUFFLE_MAP_I, SHUFFLE_MAP_O, SHUFFLE_MAP_R, SQRT, STOP, STOP_ON_FALSE, SUB_II, SUB_IR, SUB_RI, SUB_RR, SUBSET, UNION, WRITE_R, XNION| Constructor and Description |
|---|
PushValueObject() |
PushValueObject(java.lang.Object value) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object object) |
void |
execute(Runtime r)
Execute this instruction in the specified runtime by changing the
runtime's state according to this instruction's operational semantics.
|
int |
hashCode() |
java.lang.String |
toString() |
dummify, isDummy, isReturn, namepublic PushValueObject()
public PushValueObject(java.lang.Object value)
public final void execute(Runtime r)
Instructionexecute in class Instructionpublic final boolean equals(java.lang.Object object)
equals in class Instructionpublic final int hashCode()
hashCode in class Instructionpublic final java.lang.String toString()
toString in class Instruction