Impressum GiraffeCaseAlternative.vdmpp

--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 13:43:15 CET 2010
--

class GiraffeCaseAlternative is subclass of GiraffeNode
operations
    public getTest: () ==> GiraffeExpression
    getTest() == is subclass responsibility;

    public getExp: () ==> GiraffeExpression
    getExp() == is subclass responsibility;

end GiraffeCaseAlternative