├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── pom.xml ├── src ├── main │ └── java │ │ └── com │ │ └── shapesecurity │ │ └── shift │ │ └── es2017 │ │ └── semantics │ │ ├── BrokenThrough.java │ │ ├── Explicator.java │ │ ├── ExplicatorWithLocation.java │ │ ├── InlineFunctionState.java │ │ ├── PerFunctionState.java │ │ ├── Semantics.java │ │ ├── asg │ │ ├── BinaryOperation │ │ │ ├── BinaryOperation.java │ │ │ ├── BinaryOperator.java │ │ │ ├── Equality.java │ │ │ ├── FloatMath.java │ │ │ ├── In.java │ │ │ ├── InstanceOf.java │ │ │ ├── IntMath.java │ │ │ ├── Logic.java │ │ │ └── RelationalComparison.java │ │ ├── Block.java │ │ ├── BlockWithValue.java │ │ ├── Break.java │ │ ├── BreakTarget.java │ │ ├── Call.java │ │ ├── DeleteGlobalProperty.java │ │ ├── DeleteProperty.java │ │ ├── GlobalReference.java │ │ ├── Halt.java │ │ ├── IfElse.java │ │ ├── Keys.java │ │ ├── Literal.java │ │ ├── LiteralBoolean.java │ │ ├── LiteralEmptyArray.java │ │ ├── LiteralEmptyObject.java │ │ ├── LiteralFunction.java │ │ ├── LiteralInfinity.java │ │ ├── LiteralNull.java │ │ ├── LiteralNumber.java │ │ ├── LiteralRegExp.java │ │ ├── LiteralString.java │ │ ├── LiteralSymbol.java │ │ ├── LiteralUndefined.java │ │ ├── LocalReference.java │ │ ├── Loop.java │ │ ├── MemberAccess.java │ │ ├── MemberAssignment.java │ │ ├── MemberAssignmentProperty.java │ │ ├── MemberCall.java │ │ ├── MemberDefinition.java │ │ ├── New.java │ │ ├── Node.java │ │ ├── NodeWithValue.java │ │ ├── RequireObjectCoercible.java │ │ ├── Return.java │ │ ├── ReturnAfterFinallies.java │ │ ├── SwitchStatement.java │ │ ├── TemporaryReference.java │ │ ├── This.java │ │ ├── Throw.java │ │ ├── TryCatch.java │ │ ├── TryFinally.java │ │ ├── TypeCoercionNumber.java │ │ ├── TypeCoercionObject.java │ │ ├── TypeCoercionString.java │ │ ├── TypeofGlobal.java │ │ ├── UnaryOperation │ │ │ ├── BitwiseNot.java │ │ │ ├── Negation.java │ │ │ ├── Not.java │ │ │ ├── Typeof.java │ │ │ ├── UnaryOperation.java │ │ │ └── VoidOp.java │ │ ├── VariableAssignment.java │ │ └── Void.java │ │ ├── asgvisitor │ │ ├── BlockSquasher.java │ │ └── Dottifier.java │ │ ├── ast │ │ └── ThisOrArgumentsOrTryCatchFinallyChecker.java │ │ └── visitor │ │ ├── CataNodeWithValue.java │ │ ├── CompletionRecord.java │ │ ├── ConstantFolder.java │ │ ├── Director.java │ │ ├── ECMA262Operations.java │ │ ├── EqualityChecker.java │ │ ├── FAlgebraNodeWithValue.java │ │ ├── FinallyJumpReducer.java │ │ ├── FindWithsReducer.java │ │ ├── GetDescendents.java │ │ ├── MonoidalReducer.java │ │ ├── NodeAdaptingReducer.java │ │ ├── ReconstructingReducer.java │ │ ├── Reducer.java │ │ └── Truthiness.java └── test │ └── java │ └── com │ └── shapesecurity │ └── shift │ └── es2017 │ └── semantics │ ├── ConstantFolderTest.java │ ├── ExplicationSucceedsTest.java │ ├── ExplicatorTest.java │ ├── ExplicatorWithLocationTest.java │ ├── FunctionInlineTest.java │ ├── GetDescendentsTest.java │ ├── ReconstructingReducerTest.java │ └── Util.java └── style.xml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/README.md -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/BrokenThrough.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/BrokenThrough.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/Explicator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/Explicator.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/ExplicatorWithLocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/ExplicatorWithLocation.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/InlineFunctionState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/InlineFunctionState.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/PerFunctionState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/PerFunctionState.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/Semantics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/Semantics.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/BinaryOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/BinaryOperation.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/BinaryOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/BinaryOperator.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/Equality.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/Equality.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/FloatMath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/FloatMath.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/In.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/In.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/InstanceOf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/InstanceOf.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/IntMath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/IntMath.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/Logic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/Logic.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/RelationalComparison.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BinaryOperation/RelationalComparison.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Block.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Block.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BlockWithValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BlockWithValue.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Break.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Break.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BreakTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/BreakTarget.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Call.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Call.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/DeleteGlobalProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/DeleteGlobalProperty.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/DeleteProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/DeleteProperty.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/GlobalReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/GlobalReference.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Halt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Halt.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/IfElse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/IfElse.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Keys.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Keys.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Literal.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralBoolean.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralBoolean.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralEmptyArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralEmptyArray.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralEmptyObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralEmptyObject.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralFunction.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralInfinity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralInfinity.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralNull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralNull.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralNumber.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralNumber.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralRegExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralRegExp.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralString.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralSymbol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralSymbol.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralUndefined.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LiteralUndefined.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LocalReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/LocalReference.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Loop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Loop.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberAccess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberAccess.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberAssignment.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberAssignmentProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberAssignmentProperty.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberCall.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/MemberDefinition.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/New.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Node.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/NodeWithValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/NodeWithValue.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/RequireObjectCoercible.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/RequireObjectCoercible.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Return.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Return.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/ReturnAfterFinallies.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/ReturnAfterFinallies.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/SwitchStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/SwitchStatement.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TemporaryReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TemporaryReference.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/This.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/This.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Throw.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Throw.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TryCatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TryCatch.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TryFinally.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TryFinally.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeCoercionNumber.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeCoercionNumber.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeCoercionObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeCoercionObject.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeCoercionString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeCoercionString.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeofGlobal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/TypeofGlobal.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/BitwiseNot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/BitwiseNot.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/Negation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/Negation.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/Not.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/Not.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/Typeof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/Typeof.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/UnaryOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/UnaryOperation.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/VoidOp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/UnaryOperation/VoidOp.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/VariableAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/VariableAssignment.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Void.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asg/Void.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asgvisitor/BlockSquasher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asgvisitor/BlockSquasher.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/asgvisitor/Dottifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/asgvisitor/Dottifier.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/ast/ThisOrArgumentsOrTryCatchFinallyChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/ast/ThisOrArgumentsOrTryCatchFinallyChecker.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/CataNodeWithValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/CataNodeWithValue.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/CompletionRecord.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/CompletionRecord.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/ConstantFolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/ConstantFolder.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/Director.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/Director.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/ECMA262Operations.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/ECMA262Operations.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/EqualityChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/EqualityChecker.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/FAlgebraNodeWithValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/FAlgebraNodeWithValue.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/FinallyJumpReducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/FinallyJumpReducer.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/FindWithsReducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/FindWithsReducer.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/GetDescendents.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/GetDescendents.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/MonoidalReducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/MonoidalReducer.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/NodeAdaptingReducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/NodeAdaptingReducer.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/ReconstructingReducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/ReconstructingReducer.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/Reducer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/Reducer.java -------------------------------------------------------------------------------- /src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/Truthiness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/main/java/com/shapesecurity/shift/es2017/semantics/visitor/Truthiness.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/ConstantFolderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/ConstantFolderTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/ExplicationSucceedsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/ExplicationSucceedsTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/ExplicatorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/ExplicatorTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/ExplicatorWithLocationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/ExplicatorWithLocationTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/FunctionInlineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/FunctionInlineTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/GetDescendentsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/GetDescendentsTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/ReconstructingReducerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/ReconstructingReducerTest.java -------------------------------------------------------------------------------- /src/test/java/com/shapesecurity/shift/es2017/semantics/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/src/test/java/com/shapesecurity/shift/es2017/semantics/Util.java -------------------------------------------------------------------------------- /style.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shapesecurity/shift-semantics-java/HEAD/style.xml --------------------------------------------------------------------------------