Search in sources :

Example 1 with TKwExpressionOperator

use of de.be4.classicalb.core.parser.node.TKwExpressionOperator in project probparsers by bendisposto.

the class RulesLanguageExceptionTest method testUnkownExpressionOperatorException.

@Test(expected = AssertionError.class)
public void testUnkownExpressionOperatorException() throws Exception {
    AOperatorExpression operator = new AOperatorExpression(new TKwExpressionOperator("foo"), new ArrayList<PExpression>());
    RulesMachineChecker rulesMachineVisitor = new RulesMachineChecker(null, null, null, null);
    operator.apply(rulesMachineVisitor);
}
Also used : AOperatorExpression(de.be4.classicalb.core.parser.node.AOperatorExpression) TKwExpressionOperator(de.be4.classicalb.core.parser.node.TKwExpressionOperator) PExpression(de.be4.classicalb.core.parser.node.PExpression) Test(org.junit.Test)

Aggregations

AOperatorExpression (de.be4.classicalb.core.parser.node.AOperatorExpression)1 PExpression (de.be4.classicalb.core.parser.node.PExpression)1 TKwExpressionOperator (de.be4.classicalb.core.parser.node.TKwExpressionOperator)1 Test (org.junit.Test)1