Quelle  GiraffeIfExpression.vdmpp   Sprache: VDM

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

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

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

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

end GiraffeIfExpression