Esempi in Python per Typechecking

Esempio n. 1

File: testDuplicateQuestionLabels.py Progetto: software-engineering-amsterdam/many-ql

 def test(self):
     result = Typechecking.check(self.questionnaire,
                                 ErrorsWarningsResult.factory(),
                                 TestMessage.factory(),
                                 [checkers.DuplicateQuestionLabels])
     self.assertEqual(2, len(result.warnings))
     _assertDuplication(self, result.warnings[0], result.warnings[1])

Esempio n. 2

File: testInvalidOperands.py Progetto: software-engineering-amsterdam/many-ql

 def test(self):
     result = Typechecking.check(self.questionnaire,
                                 ErrorsWarningsResult.factory(),
                                 TestMessage.factory(),
                                 [checkers.TypesOfExpressions])
     self.assertEqual(1, len(result.errors))
     _assertInvalidOperandsError(self, result.errors[0], QLLogicalNot)

Esempio n. 3

 def test(self):
     result = Typechecking.check(self.questionnaire,
                                 ErrorsWarningsResult.factory(),
                                 TestMessage.factory(),
                                 [checkers.QuestionRedefinitions])
     self.assertEqual(1, len(result.errors))
     _assertRedefinition(self, result.errors[0], QLBoolean, QLString)

Esempio n. 4

 def test(self):
     result = Typechecking.check(self.questionnaire,
                                 ErrorsWarningsResult.factory(),
                                 TestMessage.factory(),
                                 [checkers.CyclicQuestionDependencies])
     self.assertEqual(1, len(result.errors))
     _assertQuestionCycle(self, result.errors[0])

Esempio n. 5

File: testInvalidOperands.py Progetto: guyromb/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.TypesOfExpressions]
     )
     self.assertEqual(0, len(result.errors))

Esempio n. 6

File: testNonBooleanCondition.py Progetto: software-engineering-amsterdam/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.TypesOfExpressions]
     )
     self.assertEqual(0, len(result.errors))

Esempio n. 7

 def test(self):
     result = Typechecking.check(self.questionnaire,
                                 ErrorsWarningsResult.factory(),
                                 TestMessage.factory(),
                                 [checkers.TypesOfExpressions])
     self.assertEqual(1, len(result.errors))
     _assertUndeclaredIdentifier(self, result.errors[0],
                                 QLIdentifier('baz'))

Esempio n. 8

File: testDuplicateQuestionLabels.py Progetto: guyromb/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.DuplicateQuestionLabels]
     )
     self.assertEqual(0, len(result.warnings))

Esempio n. 9

File: testCyclicQuestionDependencies.py Progetto: guyromb/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.CyclicQuestionDependencies]
     )
     self.assertEqual(0, len(result.errors))

Esempio n. 10

File: testQuestionRedefinition.py Progetto: guyromb/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.QuestionRedefinitions]
     )
     self.assertEqual(1, len(result.errors))
     _assertRedefinition(self, result.errors[0], QLBoolean, QLString)

Esempio n. 11

def typecheck(parser):
    result = Typechecking.check(parser.questionnaire,
                                OrderedErrorsWarningsResult.factory(),
                                ConsoleMessage.factory(parser))

    for message in result.messages:
        print(message, file=sys.stderr)

    return len(result.errors) == 0

Esempio n. 12

File: testInvalidOperands.py Progetto: guyromb/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.TypesOfExpressions]
     )
     self.assertEqual(1, len(result.errors))
     _assertInvalidOperandsError(
         self, result.errors[0], QLLogicalNot
     )

Esempio n. 13

File: testNonBooleanCondition.py Progetto: software-engineering-amsterdam/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.TypesOfExpressions]
     )
     self.assertEqual(1, len(result.errors))
     _assertNonBooleanConditionError(
         self, result.errors[0], QLString
     )

Esempio n. 14

File: testUndeclaredIdentifier.py Progetto: guyromb/many-ql

 def test(self):
     result = Typechecking.check(
         self.questionnaire,
         ErrorsWarningsResult.factory(),
         TestMessage.factory(),
         [checkers.TypesOfExpressions]
     )
     self.assertEqual(1, len(result.errors))
     _assertUndeclaredIdentifier(
         self, result.errors[0], QLIdentifier('baz')
     )

Esempio n. 15

File: ql.py Progetto: guyromb/many-ql

def typecheck(parser):
    result = Typechecking.check(
        parser.questionnaire,
        OrderedErrorsWarningsResult.factory(),
        ConsoleMessage.factory(parser)
    )

    for message in result.messages:
        print(message, file=sys.stderr)

    return len(result.errors) == 0