// Path: src/main/java/com/shapesecurity/shift/es2017/semantics/BrokenThrough.java
// public enum BrokenThrough {
// 	TRY_WITHOUT_FINALLY,
// 	TRY_WITH_FINALLY,
// 	FINALLY
// 	// We don't include "catch" because we are not aware of a consumer which needs that information, but it would be fine to include also
// }


import com.shapesecurity.functional.data.ImmutableList;
import com.shapesecurity.functional.data.Maybe;
import com.shapesecurity.shift.es2017.semantics.BrokenThrough;
import javax.annotation.Nonnull;
package com.shapesecurity.shift.es2017.semantics.asg;



public class ReturnAfterFinallies implements Node {
	@Nonnull
	public final Maybe<LocalReference> savedValue;

	@Nonnull
// Path: src/main/java/com/shapesecurity/shift/es2017/semantics/BrokenThrough.java
// public enum BrokenThrough {
// 	TRY_WITHOUT_FINALLY,
// 	TRY_WITH_FINALLY,
// 	FINALLY
// 	// We don't include "catch" because we are not aware of a consumer which needs that information, but it would be fine to include also
// }


// Path: src/main/java/com/shapesecurity/shift/es2017/semantics/asg/ReturnAfterFinallies.java
import com.shapesecurity.functional.data.ImmutableList;
import com.shapesecurity.functional.data.Maybe;
import com.shapesecurity.shift.es2017.semantics.BrokenThrough;
import javax.annotation.Nonnull;

package com.shapesecurity.shift.es2017.semantics.asg;



public class ReturnAfterFinallies implements Node {
	@Nonnull
	public final Maybe<LocalReference> savedValue;

	@Nonnull
	public final ImmutableList<BrokenThrough> broken;