hlt.language.design.instructions

Interface PushReal

All Known Implementing Classes:

PushOffsetReal, PushValueReal

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