operacion "-" unaria real y integer probadorHaskellOCL
contexto Real1 y Integer1
en el real
<details key="invariantD7resta1" value="2.0-3.0 = -1.0"/>
genera esto
invariant4 = context _Real1 [invariantD7resta1]
invariantD7resta1 self = ((oclDouble 2.0) |-| (oclDouble 3.0)) |==| ((- (oclDouble 1.0)))
da error tipo de error
ACCELEO.hs:241:30: error:
• No instance for (GHC.Num.Num (OCL Model (Val Double)))
arising from a use of ‘invariantD7resta1’
• In the expression: invariantD7resta1
In the second argument of ‘context’, namely ‘[invariantD7resta1]’
In the expression: context _Real1 [invariantD7resta1]
tiene que generar
invariant4 = context _Real1 [invariantD7resta1]
invariantD7resta1 self = ((oclDouble 2.0) |-| (oclDouble 3.0)) |==| ( (oclDouble (-1.0)))
en el Integer
<details key="invariantD7resta1" value="2-3 = -1"/>
genera
invariant14 = context _Integer1 [invariantD7resta1']
invariantD7resta1' self = ((oclInt 2) |-| (oclInt 3)) |==| ((- (oclInt 1)))
da el error
ACCELEO.hs:272:34: error:
• No instance for (GHC.Num.Num (OCL Model (Val Int)))
arising from a use of ‘invariantD7resta1'’
• In the expression: invariantD7resta1'
In the second argument of ‘context’, namely ‘[invariantD7resta1']’
In the expression: context _Integer1 [invariantD7resta1']
tiene que generar
invariant14 = context _Integer1 [invariantD7resta1']
invariantD7resta1' self = ((oclInt 2) |-| (oclInt 3)) |==| ( (oclInt (-1)))