hlt.language.design.instructions (API documentation of hlt.language packages)
Date: 2013-01-30

# Package hlt.language.design.instructions

- Interface Summary
  Interface | Description
  --- | ---
  PushInt | This empty interface is used to identify and test the nature of instructions that push an integer on the `Runtime` stack (useful for code optimization purposes).
  PushObject | This empty interface is used to identify and test the nature of instructions that push a Java `Object` on the `Runtime` stack (useful for code optimization purposes).
  PushReal | This empty interface is used to identify and test the nature of instructions that push a real number on the `Runtime` stack (useful for code optimization purposes).
  PushValue | This empty interface is used to identify and test the nature of instructions that push a literal value on one of the `Runtime` stacks (useful for code optimization purposes).

- Class Summary
  Class | Description
  --- | ---
  AbsInt |
  AbsReal |
  AddIntInt |
  AddIntReal |
  AddRealInt |
  AddRealReal |
  Apply | An `Apply` instruction is to an `Enter` instruction what an `Abstraction` expression is to a `Scope` expression.
  ApplyClosure | A refinement of `Apply` that carries its own closure as opposed of taking it from the stack.
  ApplyCollectionHomomorphism |
  ApplyInPlaceIntCollectionFilterHomomorphism |
  ApplyInPlaceIntCollectionHomomorphism |
  ApplyInPlaceIntFilterHomomorphism |
  ApplyInPlaceIntHomomorphism |
  ApplyInPlaceObjectCollectionFilterHomomorphism |
  ApplyInPlaceObjectCollectionHomomorphism |
  ApplyInPlaceObjectFilterHomomorphism |
  ApplyInPlaceObjectHomomorphism |
  ApplyInPlaceRealCollectionFilterHomomorphism |
  ApplyInPlaceRealCollectionHomomorphism |
  ApplyInPlaceRealFilterHomomorphism |
  ApplyInPlaceRealHomomorphism |
  ApplyIntCollection |
  ApplyIntCollectionFilterHomomorphism |
  ApplyIntCollectionHomomorphism |
  ApplyIntFilterHomomorphism |
  ApplyIntHomomorphism |
  ApplyObjectCollection |
  ApplyObjectCollectionFilterHomomorphism |
  ApplyObjectCollectionHomomorphism |
  ApplyObjectFilterHomomorphism |
  ApplyObjectHomomorphism |
  ApplyRealCollection |
  ApplyRealCollectionFilterHomomorphism |
  ApplyRealCollectionHomomorphism |
  ApplyRealFilterHomomorphism |
  ApplyRealHomomorphism |
  ApplySlicedCollectionHomomorphism |
  ApplySlicedInPlaceObjectCollectionFilterHomomorphism |
  ApplySlicedInPlaceObjectCollectionHomomorphism |
  ApplySlicedInPlaceObjectFilterHomomorphism |
  ApplySlicedInPlaceObjectHomomorphism |
  ApplySlicedObjectCollectionFilterHomomorphism |
  ApplySlicedObjectCollectionHomomorphism |
  ApplySlicedObjectFilterHomomorphism |
  ApplySlicedObjectHomomorphism |
  ArrayInitialize |
  ArraySize |
  BelongsInt |
  BelongsObject |
  BelongsReal |
  BoxingUnboxingInstruction |
  Call |
  CheckArraySize |
  ContainsObject |
  DefinedEntryInstruction |
  DestructiveExclusiveUnion1 |
  DestructiveExclusiveUnion2 |
  DestructiveIntersection1 |
  DestructiveIntersection2 |
  DestructiveSetDifference |
  DestructiveUnion1 |
  DestructiveUnion2 |
  DivIntInt |
  DivIntReal |
  DivRealInt |
  DivRealReal |
  DummyAnd |
  DummyBelongs |
  DummyEqual |
  DummyFirst |
  DummyLast |
  DummyNext |
  DummyNextCirc |
  DummyNextCircOffSet |
  DummyNextOffSet |
  DummyOr |
  DummyOrd |
  DummyPrev |
  DummyPrevCirc |
  DummyPrevCircOffSet |
  DummyPrevOffSet |
  DummySetAdd |
  DummySetRemove |
  DummySize |
  DummyStringConcat |
  DummyUnequal |
  DummyWrite |
  End |
  Enter | An `Enter` instruction is to a `Scope` expression what an `Apply` instruction is to an `Abstraction` expression.
  EnterBlock | A refinement of `Enter` that carries its own block as opposed of taking it from the stack.
  EqualInts |
  EqualObjects |
  EqualReals |
  ExclusiveUnion |
  FieldInstruction |
  FillArrayFromIntArray |
  FillArrayFromIntMap |
  FillArrayFromObjectArray |
  FillArrayFromObjectMap |
  FillArrayFromRealArray |
  FillArrayFromRealMap |
  FillMapFromIntArray |
  FillMapFromIntMap |
  FillMapFromObjectArray |
  FillMapFromObjectMap |
  FillMapFromRealArray |
  FillMapFromRealMap |
  FirstInt |
  FirstObject |
  FirstReal |
  GetIndexable |
  GetIntArraySlot |
  GetIntField |
  GetIntIndexedIntMapSlot |
  GetIntIndexedObjectMapSlot |
  GetIntIndexedRealMapSlot |
  GetIntMapSlot |
  GetIntTupleComponent |
  GetObjectArraySlot |
  GetObjectField |
  GetObjectMapSlot |
  GetObjectTupleComponent |
  GetRealArraySlot |
  GetRealField |
  GetRealMapSlot |
  GetRealTupleComponent |
  GreaterEqualIntInt |
  GreaterEqualIntReal |
  GreaterEqualRealInt |
  GreaterEqualRealReal |
  GreaterIntInt |
  GreaterIntReal |
  GreaterRealInt |
  GreaterRealReal |
  IndexableSize |
  Instruction | This class is the mother of all instructions that may be executed in a `Runtime` object.
  IntArrayToMap |
  Intersection |
  IntRangeLower |
  IntRangeUpper |
  IntSetAdd |
  IntSetRemove |
  IntToObject |
  IntToReal |
  Jump |
  JumpOnFalse |
  JumpOnTrue |
  LastInt |
  LastObject |
  LastReal |
  LessEqualIntInt |
  LessEqualIntReal |
  LessEqualRealInt |
  LessEqualRealReal |
  LessIntInt |
  LessIntReal |
  LessRealInt |
  LessRealReal |
  MakeIntArray |
  MakeIntMap |
  MakeIntSet |
  MakeObjectArray |
  MakeObjectMap |
  MakeObjectSet |
  MakeRealArray |
  MakeRealMap |
  MakeRealSet |
  MapSize |
  MapToArray |
  MaxIntInt |
  MaxIntReal |
  MaxRealInt |
  MaxRealReal |
  MinIntInt |
  MinIntReal |
  MinRealInt |
  MinRealReal |
  MinusInt |
  MinusReal |
  Modulo |
  MulIntInt |
  MulIntReal |
  MulRealInt |
  MulRealReal |
  NextInt |
  NextIntCirc |
  NextIntCircOffSet |
  NextIntOffSet |
  NextObject |
  NextObjectCirc |
  NextObjectCircOffSet |
  NextObjectOffSet |
  NextReal |
  NextRealCirc |
  NextRealCircOffSet |
  NextRealOffSet |
  NonlocalReturnInt |
  NonlocalReturnObject |
  NonlocalReturnReal |
  NonlocalReturnVoid |
  NoOp |
  Not |
  ObjectArrayToMap |
  ObjectSetAdd |
  ObjectSetRemove |
  ObjectToInt |
  ObjectToReal |
  OffsetInstruction |
  OrdInt |
  OrdObject |
  OrdReal |
  PopInt |
  PopObject |
  PopReal |
  Power |
  PrevInt |
  PrevIntCirc |
  PrevIntCircOffSet |
  PrevIntOffSet |
  PrevObject |
  PrevObjectCirc |
  PrevObjectCircOffSet |
  PrevObjectOffSet |
  PrevReal |
  PrevRealCirc |
  PrevRealCircOffSet |
  PrevRealOffSet |
  PushClosure | A `PushClosure` instruction is to a `PushScope` instruction what an `Abstraction` expression is to an `Scope` expression.
  PushIntArray |
  PushIntMap |
  PushIntRange |
  PushIntSet |
  PushNewObject |
  PushObjectArray |
  PushObjectMap |
  PushObjectSet |
  PushOffsetInt |
  PushOffsetObject |
  PushOffsetReal |
  PushRealArray |
  PushRealMap |
  PushRealRange |
  PushRealSet |
  PushScope | A `PushScope` instruction is to a `PushClosure` instruction what a `Scope` expression is to an `Abstraction` expression.
  PushTuple |
  PushValueInt |
  PushValueObject |
  PushValueReal |
  Random |
  RealArrayToMap |
  RealRangeLower |
  RealRangeUpper |
  RealSetAdd |
  RealSetRemove |
  RealToInt |
  RealToObject |
  ReconcileIndexables |
  Relocatable | This class is the mother of all instructions that refer to an absolute address and that must be relocated upon inlining.
  ReturnInstruction |
  ReturnInt |
  ReturnObject |
  ReturnReal |
  ReturnVoid |
  SetCopy |
  SetDifference |
  SetElementInstruction |
  SetGlobal |
  SetIntArraySlot |
  SetIntField | This is the class of instructions getting an int field value from the object currently on the runtime's object stack.
  SetIntIndexedIntMapSlot |
  SetIntIndexedObjectMapSlot |
  SetIntIndexedRealMapSlot |
  SetIntMapSlot |
  SetIntTupleComponent |
  SetObjectArraySlot |
  SetObjectField | This is the class of instructions getting an object field value from the object currently on the runtime's object stack.
  SetObjectMapSlot |
  SetObjectTupleComponent |
  SetOffsetInt |
  SetOffsetObject |
  SetOffsetReal |
  SetRealArraySlot |
  SetRealField | This is the class of instructions getting a real field value from the object currently on the runtime's object stack.
  SetRealMapSlot |
  SetRealTupleComponent |
  ShuffleIntMap |
  ShuffleObjectMap |
  ShuffleRealMap |
  SlicingInstruction |
  SquareRoot |
  Stop |
  StopOnFalse |
  StringConcatenation |
  SubIntInt |
  SubIntReal |
  SubRealInt |
  SubRealReal |
  Subset |
  TupleComponentInstruction |
  TypedInstruction |
  UnequalInts |
  UnequalObjects |
  UnequalReals |
  Union |
  WriteInt |
  WriteObject |
  WriteReal |