From 00c21d32515eb3da394b8f8b8bd10dd8a4a81a5c Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 17 Nov 2009 15:13:38 +0000 Subject: * algebra/syntax.spad.pamphlet (SpadAstExports): Add case for JoinAst. --- src/ChangeLog | 4 ++++ src/algebra/syntax.spad.pamphlet | 11 +++++++++++ 2 files changed, 15 insertions(+) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index c14a761d..7c6c5e51 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-11-17 Gabriel Dos Reis + + * algebra/syntax.spad.pamphlet (SpadAstExports): Add case for JoinAst. + 2009-11-17 Gabriel Dos Reis * algebra/syntax.spad.pamphlet (StepAst): New. diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 683115df..74076b45 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -372,6 +372,13 @@ SpadAstExports(): Category == Join(SpadSyntaxCategory, UnionType) with ++ autoCoerce(s) returns the CategoryAst view of `s'. Left at the ++ discretion of the compiler. + case: (%, [|JoinAst|]) -> Boolean + ++ \spad{s case JoinAst} holds is the syntax object \spad{s} + ++ denotes the join of several categories. + autoCoerce: % -> JoinAst + ++ \spad{autoCoerce(s)} returns the \spadype{JoinAst} view of of + ++ the AST object \spad{s}. Left at the discretion of the compiler. + case: (%, [|CapsuleAst|]) -> Boolean ++ s case CapsuleAst holds if `s' represents a domain capsule. autoCoerce: % -> CapsuleAst @@ -1686,6 +1693,9 @@ SpadAst(): SpadAstExports() == add x case CategoryAst == isAst(x,'CATEGORY) autoCoerce(x: %): CategoryAst == x : CategoryAst + x case JoinAst == isAst(x,'Join) + autoCoerce(x: %): JoinAst == x : JoinAst + x case CapsuleAst == isAst(x,'CAPSULE) autoCoerce(x: %): CapsuleAst == x : CapsuleAst @@ -1799,6 +1809,7 @@ SpadAst(): SpadAstExports() == add op = 'SIGNATURE => x:SignatureAst::OutputForm op = 'ATTRIBUTE => x:AttributeAst::OutputForm op = 'CATEGORY => x:CategoryAst::OutputForm + op = 'Join => x:JoinAst::OutputForm op = 'CAPSULE => x:CapsuleAst::OutputForm op = 'import => x:ImportAst::OutputForm x'::OutputForm -- cgit v1.2.3