modelverse/integration/code/cbd_design.mvc

import models/SimpleClassDiagrams as SCD
include "primitives.alh"

SCD CausalBlockDiagrams{
    Class Float {
        $
            if (bool_not(is_physical_float(self))):
                return "Natural has no float value"!
            else:
                return "OK"!
         $
    }

    Class Block{
        output : Block
    }

    Class ConstantBlock{
        value : Float
    }

    Class AdditionBlock{
        input1 : Block
        input2 : Block
    }

    Class NegatorBlock{
        input1 : Block
        input2 : Block
    }

    Class MultiplyBlock{
        input1 : Block
        input2 : Block
    }

    Class InverseBlock{
        input : Block
    }

    Class DelayBlock{
        input : Block
        initial : Block
    }

    Inheritance (ConstantBlock, Block){}
    Inheritance (AdditionBlock, Block){}
    Inheritance (NegatorBlock, Block){}
    Inheritance (MultiplyBlock, Block){}
    Inheritance (InverseBlock, Block){}
    Inheritance (DelayBlock, Block){}
}

export CausalBlockDiagrams to models/CausalBlockDiagrams