souffle
2.0.2-371-g6315b36
|
Functions | |
bool | isNotSubtypeOf (const analysis::Type &a, const analysis::Type &b) |
Own< TranslationUnit > | makeATU (std::string program=".decl A,B,C(x:number)") |
Own< Clause > | makeClause (std::string name, Own< Argument > headArgument) |
Own< Clause > | makeClauseA (Own< Argument > headArgument) |
Own< TranslationUnit > | makePrintedATU (Own< TranslationUnit > &tu) |
TEST (AstPrint, AggregatorCount) | |
TEST (AstPrint, AggregatorMax) | |
TEST (AstPrint, AggregatorMin) | |
TEST (AstPrint, AggregatorSum) | |
TEST (AstPrint, Counter) | |
TEST (AstPrint, NilConstant) | |
TEST (AstPrint, NumberConstant) | |
TEST (AstPrint, StringConstant) | |
TEST (AstPrint, UnnamedVariable) | |
TEST (AstPrint, Variable) | |
TEST (AstUtils, Grounded) | |
TEST (AstUtils, GroundedRecords) | |
TEST (AstUtils, ReorderClauseAtoms) | |
TEST (Constraints, Basic) | |
TEST (Program, AppendRelation) | |
TEST (Program, Parse) | |
TEST (Program, RemoveClause) | |
test removeClause, addRelation and removeRelation More... | |
TEST (Program, RemoveRelation) | |
TEST (RuleBody, Basic) | |
TEST (RuleBody, ClauseBodyExtraction) | |
TEST (RuleBody, Negation) | |
TEST (TypeSystem, AlgebraicDataType) | |
TEST (TypeSystem, Basic) | |
TEST (TypeSystem, complexSubsetTypes) | |
TEST (TypeSystem, EquivTypes) | |
TEST (TypeSystem, GreatestCommonSubtype) | |
TEST (TypeSystem, isNumberType) | |
TEST (TypeSystem, isSubtypeOf_Basic) | |
TEST (TypeSystem, isSubtypeOf_Records) | |
TEST (TypeSystem, RecordSubsets) | |
TESTASTCLONEANDEQUAL (ChainedTypes, R"( .type D <: symbol .type C = D .type B = C .type A = B .decl R1(x:A,y:B) .decl R2(x:C,y:D) .decl R4(x:A) output R4(x) :- R2(x,x),R1(x,x). )") | |
TESTASTCLONEANDEQUAL (ComplexTypes, R"( .type A <: symbol .type B <: number .type U = B .decl a ( x : A ) .decl b ( x : B ) .decl u ( x : U ) a(X) :- X < 10. b(X) :- X < 10. u(X) :- X < 10. )") | |
TESTASTCLONEANDEQUAL (NestedAggregates, R"( .type D <: symbol .decl r(x:D) r(x) :- r(y), x=cat(cat(x,x),x). )") | |
TESTASTCLONEANDEQUAL (Program, R"( .decl r(a:number,b:number,c:number,d:number) .decl s(x:symbol) .decl a(x:number) s("xxx"). r(X,Y,Z,W) :- a(X), 10 = Y, Y = Z, 8 + W = 12 + 14. r(z + 2, x, y, a) :- s(b), b = to_string(a), z = x, a = y, x = 2, a = 2 + x. )") | |
TESTASTCLONEANDEQUAL (Record, R"( .type N <: symbol .type R = [ a : N, B : N ] .decl r ( r : R ) .decl s ( r : N ) s(x) :- r([x,y]). )") | |
TESTASTCLONEANDEQUAL (RelationCopies, R"( .type D = number .decl a(a:D,b:D) .decl b(a:D,b:D) .decl c(a:D,b:D) .decl d(a:D,b:D) a(1,2). b(x,y) :- a(x,y). c(x,y) :- b(x,y). d(x,y) :- b(x,y), c(y,x). )") | |
TESTASTCLONEANDEQUAL (SimpleTypes, R"( .type A <: symbol .type B <: symbol .type U = A | B .decl a ( x : A ) .decl b ( x : B ) .decl u ( x : U ) a(X) :- u(X). b(X) :- u(X). u(X) :- u(X). a(X) :- b(X). a(X) :- b(Y). )") | |
bool souffle::ast::test::isNotSubtypeOf | ( | const analysis::Type & | a, |
const analysis::Type & | b | ||
) |
Definition at line 90 of file type_system_test.cpp.
|
inline |
Definition at line 52 of file ast_print_test.cpp.
References souffle::profile::ss.
Definition at line 64 of file ast_print_test.cpp.
|
inline |
Definition at line 58 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
AggregatorCount | |||
) |
Definition at line 163 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
AggregatorMax | |||
) |
Definition at line 147 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
AggregatorMin | |||
) |
Definition at line 130 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
AggregatorSum | |||
) |
Definition at line 179 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
Counter | |||
) |
Definition at line 121 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
NilConstant | |||
) |
Definition at line 72 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
NumberConstant | |||
) |
Definition at line 81 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
StringConstant | |||
) |
Definition at line 92 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
UnnamedVariable | |||
) |
Definition at line 112 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstPrint | , |
Variable | |||
) |
Definition at line 103 of file ast_print_test.cpp.
souffle::ast::test::TEST | ( | AstUtils | , |
Grounded | |||
) |
Definition at line 61 of file ast_utils_test.cpp.
souffle::ast::test::TEST | ( | AstUtils | , |
GroundedRecords | |||
) |
Definition at line 110 of file ast_utils_test.cpp.
souffle::ast::test::TEST | ( | AstUtils | , |
ReorderClauseAtoms | |||
) |
Definition at line 138 of file ast_utils_test.cpp.
souffle::ast::test::TEST | ( | Constraints | , |
Basic | |||
) |
Definition at line 38 of file constraints_test.cpp.
souffle::ast::test::TEST | ( | Program | , |
AppendRelation | |||
) |
souffle::ast::test::TEST | ( | Program | , |
Parse | |||
) |
Definition at line 64 of file ast_program_test.cpp.
souffle::ast::test::TEST | ( | Program | , |
RemoveClause | |||
) |
test removeClause, addRelation and removeRelation
Definition at line 123 of file ast_program_test.cpp.
souffle::ast::test::TEST | ( | Program | , |
RemoveRelation | |||
) |
Definition at line 150 of file ast_program_test.cpp.
souffle::ast::test::TEST | ( | RuleBody | , |
Basic | |||
) |
Definition at line 46 of file ast_parser_utils_test.cpp.
souffle::ast::test::TEST | ( | RuleBody | , |
ClauseBodyExtraction | |||
) |
Definition at line 60 of file ast_parser_utils_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
AlgebraicDataType | |||
) |
Definition at line 277 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
Basic | |||
) |
Definition at line 37 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
complexSubsetTypes | |||
) |
Definition at line 238 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
EquivTypes | |||
) |
Definition at line 268 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
GreatestCommonSubtype | |||
) |
Definition at line 163 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
isNumberType | |||
) |
Definition at line 55 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
isSubtypeOf_Basic | |||
) |
Definition at line 94 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
isSubtypeOf_Records | |||
) |
Definition at line 144 of file type_system_test.cpp.
souffle::ast::test::TEST | ( | TypeSystem | , |
RecordSubsets | |||
) |
Definition at line 257 of file type_system_test.cpp.
souffle::ast::test::TESTASTCLONEANDEQUAL | ( | ChainedTypes | , |
R"( .type D <: symbol .type C = D .type B = C .type A = B .decl R1(x:A,y:B) .decl R2(x:C,y:D) .decl R4(x:A) output R4(x) :- R2(x,x),R1(x,x). )" | |||
) |
souffle::ast::test::TESTASTCLONEANDEQUAL | ( | ComplexTypes | , |
R"( .type A <: symbol .type B <: number .type U = B .decl a ( x : A ) .decl b ( x : B ) .decl u ( x : U ) a(X) :- X < 10. b(X) :- X < 10. u(X) :- X < 10. )" | |||
) |
souffle::ast::test::TESTASTCLONEANDEQUAL | ( | NestedAggregates | , |
R"( .type D <: symbol .decl r(x:D) r(x) :- r(y), x=cat(cat(x,x),x). )" | |||
) |
souffle::ast::test::TESTASTCLONEANDEQUAL | ( | Program | , |
R"( .decl r(a:number,b:number,c:number,d:number) .decl s(x:symbol) .decl a(x:number) s("xxx"). r(X,Y,Z,W) :- a(X), 10 = Y, Y = Z, 8 + W = 12 + 14. r(z + 2, x, y, a) :- s(b), b = to_string(a), z = x, a = y, x = 2, a = 2 + x. )" | |||
) |
souffle::ast::test::TESTASTCLONEANDEQUAL | ( | Record | , |
R"( .type N <: symbol .type R = [ a : N, B : N ] .decl r ( r : R ) .decl s ( r : N ) s(x) :- r([x,y]). )" | |||
) |
souffle::ast::test::TESTASTCLONEANDEQUAL | ( | RelationCopies | , |
R"( .type D = number .decl a(a:D,b:D) .decl b(a:D,b:D) .decl c(a:D,b:D) .decl d(a:D,b:D) a(1,2). b(x,y) :- a(x,y). c(x,y) :- b(x,y). d(x,y) :- b(x,y), c(y,x). )" | |||
) |