private static void SetTypeCheckerDefaultValues(ITypeChecker typeChecker) { typeChecker.Dispatch(Arg.Any <RealLiteralExpression>(), Arg.Any <List <TypeNode> >()).Returns(new TypeNode(TypeEnum.Real, 1, 1)); typeChecker.Dispatch(Arg.Any <IntegerLiteralExpression>(), Arg.Any <List <TypeNode> >()).Returns(new TypeNode(TypeEnum.Integer, 1, 1)); typeChecker.Dispatch(Arg.Any <BooleanLiteralExpression>(), Arg.Any <List <TypeNode> >()).Returns(new TypeNode(TypeEnum.Boolean, 1, 1)); typeChecker.Dispatch(Arg.Any <StringLiteralExpression>(), Arg.Any <List <TypeNode> >()).Returns(new TypeNode(TypeEnum.String, 1, 1)); typeChecker.Dispatch(Arg.Any <SetExpression>(), Arg.Any <List <TypeNode> >()).Returns(new TypeNode(TypeEnum.Set, 1, 1)); typeChecker.Dispatch(Arg.Any <GraphExpression>(), Arg.Any <List <TypeNode> >()).Returns(new TypeNode(TypeEnum.Graph, 1, 1)); }