Quelle  SimpleBinaryExpression.vdmpp   Sprache: VDM

--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 17:56:54 CET 2010
--

class SimpleBinaryExpression is subclass of SimpleExpression
operations
    public getLhs: () ==> SimpleExpression
    getLhs() == is subclass responsibility;

    public getOp: () ==> SimpleBinaryOperator
    getOp() == is subclass responsibility;

    public getRhs: () ==> SimpleExpression
    getRhs() == is subclass responsibility;

end SimpleBinaryExpression