[Olena-patches] scool r146: Add tests

URL: https://svn.lrde.epita.fr/svn/scool/branches/scool-ng ChangeLog: 2009-02-12 Matthieu Martin <matthieu.mar(a)gmail.com> Add tests. * concept/scool_ast/concept_1.aterm: New. * concept/scool_ast/concept_2.aterm: New. * concept/scool_ast/concept_3.aterm: New. * concept/scool_ast/concept_4.aterm: New. --- concept_1.aterm | 1 + concept_2.aterm | 1 + concept_3.aterm | 1 + concept_4.aterm | 1 + 4 files changed, 4 insertions(+) Index: branches/scool-ng/tests/concept/scool_ast/concept_1.aterm =================================================================== --- branches/scool-ng/tests/concept/scool_ast/concept_1.aterm (revision 0) +++ branches/scool-ng/tests/concept/scool_ast/concept_1.aterm (revision 146) @@ -0,0 +1 @@ +Program([ConceptDeclaration(Identifier("box"),ConceptBlock([TypeDeclaration(None,Identifier("value")),FunctionDeclaration(None,Identifier("get_value"),FunctionType(None,ArgumentsDeclaration([]),SimpleType("value")))]))]) Index: branches/scool-ng/tests/concept/scool_ast/concept_2.aterm =================================================================== --- branches/scool-ng/tests/concept/scool_ast/concept_2.aterm (revision 0) +++ branches/scool-ng/tests/concept/scool_ast/concept_2.aterm (revision 146) @@ -0,0 +1 @@ +Program([ConceptDeclaration(Identifier("box"),ConceptBlock([TypeDeclaration(None,Identifier("value")),FunctionDeclaration(Some("mutable"),Identifier("set_value"),FunctionType(None,ArgumentsDeclaration([TypedId(Identifier("val"),SimpleType("value"))]),SimpleType("value")))]))]) Index: branches/scool-ng/tests/concept/scool_ast/concept_3.aterm =================================================================== --- branches/scool-ng/tests/concept/scool_ast/concept_3.aterm (revision 0) +++ branches/scool-ng/tests/concept/scool_ast/concept_3.aterm (revision 146) @@ -0,0 +1 @@ +Program([ConceptDeclaration(Identifier("box"),ConceptBlock([TypeDeclaration(None,Identifier("value")),FunctionDeclaration(Some("mutable"),Identifier("set_value"),FunctionType(None,ArgumentsDeclaration([TypedId(Identifier("val"),SimpleType("value"))]),SimpleType("value"))),FunctionDeclaration(None,Identifier("get_value"),FunctionType(None,ArgumentsDeclaration([]),SimpleType("value")))]))]) Index: branches/scool-ng/tests/concept/scool_ast/concept_4.aterm =================================================================== --- branches/scool-ng/tests/concept/scool_ast/concept_4.aterm (revision 0) +++ branches/scool-ng/tests/concept/scool_ast/concept_4.aterm (revision 146) @@ -0,0 +1 @@ +Program([ConceptDeclaration(Identifier("box"),ConceptBlock([TypeDeclaration(None,Identifier("value")),FunctionDeclaration(Some("mutable"),Identifier("set_value"),FunctionType(None,ArgumentsDeclaration([TypedId(Identifier("val"),SimpleType("value"))]),SimpleType("value"))),FunctionDeclaration(None,Identifier("get_value"),FunctionType(None,ArgumentsDeclaration([]),SimpleType("value"))),FunctionDeclaration(None,Identifier("print_value"),FunctionType(None,ArgumentsDeclaration([]),SimpleType("void")))]))])