Powered by
SmartDoc
<<
Relaxer Reference Manual
/
CDL
/CDL/Grammar
>>
CDL/Grammar
Schema definition
RCDL
component
Example
interface (reference)
Example
interface (define)
Example
RIDL
interface
Example
grammar
Example
attribute (type)
Example
attribute (label)
Example
operation
Example
invariant
Example
preCondition
Example
postCondition
Example
in (type)
Example
in (label)
Example
out (type)
Example
out (label)
Example
Facet
Example
Constraint expression
attribute
operation
in
out
value
verify(type)
verify(label)
and
or
not
equal
plus
subtract
times
divide
lessThan
greaterThan
lessEqualThan
greaterEqualThan
Example
<<
Relaxer Reference Manual
/
CDL
/CDL/Grammar
>>