hlt.language.design.instructions

Interface PushInt

All Known Implementing Classes:

PushOffsetInt, PushValueInt

public interface 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).