Esempio n. 1
0
 def test_quantified_expression(self):
     self.check_parser(QUANTIFIED_STR,
                       QUANTIFIED_AST)
     self.check_parser('every  ala  in %s satisfies %s' % (DISJUNCTION_STR, CONJUNCTION_STR),
                       AST.QuantifiedExpr(False, [(AST.Name('ala'), DISJUNCTION_AST)], CONJUNCTION_AST))
     self.check_parser('every  ala  in %s ola  in %s satisfies %s' % (DISJUNCTION_STR,
                                                                      operator_str_gen('!='),
                                                                      CONJUNCTION_STR),
                       AST.QuantifiedExpr(False,
                                          [(AST.Name('ala'), DISJUNCTION_AST),
                                           (AST.Name('ola'), operator_ast_gen(AST.Neq))],
                                          CONJUNCTION_AST))
Esempio n. 2
0
INSTANCE_OF_STR = '%s  instance  of  ala.ma.kota' % LIST_STR
# INSTANCE_OF_STR = '%s instance of ala.ma.kota' % LIST_STR
INSTANCE_OF_AST = AST.InstanceOf(LIST_AST, AST.Type([AST.Name('ala.ma.kota')]))

FILTER_EXPRESSION_STR = '%s [%s]' % (LIST_STR, INSTANCE_OF_STR)
FILTER_EXPRESSION_AST = AST.FilterExpression(LIST_AST, INSTANCE_OF_AST)

CONJUNCTION_STR = '%s and %s' % (operator_str_gen('='), INSTANCE_OF_STR)
CONJUNCTION_AST = AST.Conjunction(operator_ast_gen(AST.Eq), INSTANCE_OF_AST)

DISJUNCTION_STR = '%s  or %s' % (CONJUNCTION_STR, operator_str_gen('<='))
DISJUNCTION_AST = AST.Disjunction(CONJUNCTION_AST, operator_ast_gen(AST.Lte))

QUANTIFIED_STR = 'some  ala  in %s satisfies %s' % (DISJUNCTION_STR, CONJUNCTION_STR)
QUANTIFIED_AST = AST.QuantifiedExpr(True, [(AST.Name('ala'), DISJUNCTION_AST)], CONJUNCTION_AST)

IF_STR = 'if  %s  then %s else %s' % (QUANTIFIED_STR, DISJUNCTION_STR, CONJUNCTION_STR)
IF_AST = AST.If(QUANTIFIED_AST, DISJUNCTION_AST, CONJUNCTION_AST)

FOR_STR = 'for  ala  in  %s  return  %s' % (IF_STR, QUANTIFIED_STR)
FOR_AST = AST.For([(AST.Name('ala'), IF_AST)], QUANTIFIED_AST)

PATH_STR = '%s.ala' % DATE_STR
PATH_AST = AST.Path(DATE_AST, AST.Name('ala'))

INVOCATION_STR = '%s(%s, %s)' % (PATH_STR, FOR_STR, IF_STR)
INVOCATION_AST = AST.Invocation(PATH_AST, [FOR_AST, IF_AST])

NEGATION_STR = '-?A_zÊÝĄͼൺ⁶Ⰲ〠邏2𐎅'
NEGATION_AST = AST.Negation(AST.Name('?A_zÊÝĄͼൺ⁶Ⰲ〠邏2𐎅'))
Esempio n. 3
0
 def p_quantified_expression(self, p):
     """quantified_expression : SOME  in_pairs SATISFIES expression %prec quantified_p
                              | EVERY in_pairs SATISFIES expression %prec quantified_p"""
     p[0] = AST.QuantifiedExpr(p.slice[1].type == 'SOME', p[2], p[4])