+
+
+ // Markers //////////////////////////////////////////////////////////////////////
+
+ public static class CallMarker { public CallMarker() { } }
+ public static class LoopMarker {
+ public int location;
+ public String label;
+ public LoopMarker(int location, String label) {
+ this.location = location;
+ this.label = label;
+ }
+ }
+ public static class TryMarker {
+ public int location;
+ public JS.Scope scope;
+ public TryMarker(int location, JS.Scope scope) {
+ this.location = location;
+ this.scope = scope;
+ }
+ }
+