Package emi.dev.emi.emi.runtime
Class EmiHistory
java.lang.Object
emi.dev.emi.emi.runtime.EmiHistory
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
EmiHistory
public EmiHistory()
-
-
Method Details
-
isEmpty
public static boolean isEmpty() -
isForwardEmpty
public static boolean isForwardEmpty() -
push
-
pop
public static void pop() -
forward
public static void forward() -
clear
public static void clear()
-