Skip to content
Snippets Groups Projects
Normal view Permalink
SampledValueControl.ocl 3.26 KiB
Newer Older
Dominique Marcadet's avatar
initial import
Dominique Marcadet committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 
/**
 *  Copyright (c) 2017 CentraleSupélec & EDF.
 *  All rights reserved. This program and the accompanying materials
 *  are made available under the terms of the Eclipse Public License v1.0
 *  which accompanies this distribution, and is available at
 *  http://www.eclipse.org/legal/epl-v10.html
 * 
 *  This file is part of the RiseClipse tool
 *  
 *  Contributors:
 *      Computer Science Department, CentraleSupélec
 *      EDF R&D
 *  Contacts:
 *      dominique.marcadet@centralesupelec.fr
 *      aurelie.dehouck-neveu@edf.fr
 *  Web site:
 *      http://wdi.supelec.fr/software/RiseClipse/
 */
import scl: 'http://www.iec.ch/61850/2003/SCL'

import '../Helpers/BaseSimpleTypes.ocl'

package scl

context SampledValueControl

    -- The smvID attribute shall be present
    inv SampledValueControl_smvID_required
        ( 'smvID attribute shall be present in SampledValueControl (line ' + self.lineNumber.toString() + ')' )
    :
        self.smvID <> null

     -- The smvID attribute shall be valid
    inv SampledValueControl_smvID_valid
        ( 'smvID attribute shall be present in SampledValueControl (line ' + self.lineNumber.toString() + '). '
          + 'Current value is ' + self.smvID.toString()
        )
    :
Dominique Marcadet's avatar
put helpers in SclObject class and change constraints to use them  
Dominique Marcadet committed
39 
        self.smvID <> null implies self.validSclMessageID( smvID )
Dominique Marcadet's avatar
initial import
Dominique Marcadet committed
40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 

    -- The smpRate attribute shall be present
    inv SampledValueControl_smpRate_required
        ( 'smpRate attribute shall be present in SampledValueControl (line ' + self.lineNumber.toString() + ')' )
    :
        self.smpRate <> null

    -- The smpRate attribute shall be an unsignedInt
    -- Note: unsignedInt are EInt in the metaModel
    inv SampledValueControl_smpRate_valid
        ( 'smpRate attribute shall be valid in SampledValueControl (line ' + self.lineNumber.toString() + '). '
          + 'Current value is ' + self.smpRate.toString()
        )
    :
        self.smpRate <> null implies self.smpRate >= 0

    -- The nofASDU attribute shall be present
    inv SampledValueControl_nofASDU_required
        ( 'nofASDU attribute shall be present in SampledValueControl (line ' + self.lineNumber.toString() + ')' )
    :
        self.nofASDU <> null

    -- The nofASDU attribute shall be an unsignedInt
    -- Note: unsignedInt are EInt in the metaModel
Dominique Marcadet's avatar
correct duplicated constraint names  
Dominique Marcadet committed
64 
    inv SampledValueControl_nofASDU_valid
Dominique Marcadet's avatar
initial import
Dominique Marcadet committed
65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 
        ( 'nofASDU attribute shall be present in SampledValueControl (line ' + self.lineNumber.toString() + '). '
          + 'Current value is ' + self.nofASDU.toString()
        )
    :
        self.nofASDU <> null implies self.nofASDU >= 0

    -- multicast is a boolean
    -- smpMod is a real enum
    -- securityEnable is a real enum
    
    --  The confRev attribute is mandatory for the SV control block
    inv SampledValueControl_confRev_required
        ( 'confRev attribute shall be present in SampledValueControl (line ' + self.lineNumber.toString() + ')' )
    :
        self.confRev <> null
    
    -- The confRev attribute is an unsigned int
    --  Note: it is an Integer in the metamodel
    inv SampledValueControl_confRev_unsignedInt
        ( 'confRev attribute shall be valid in SampledValueControl (line ' + self.lineNumber.toString() + '). '
          + 'Current value is ' + self.confRev.toString()
        )
    :
        self.confRev <> null implies self.confRev >= 0


endpackage