Revision 10
Added by Willibald K. over 8 years ago
| CadpType.java | ||
|---|---|---|
| 237 | 237 |
EmitDefinition((OoActionSystemType)aType, emitter); |
| 238 | 238 |
break; |
| 239 | 239 |
|
| 240 |
case QrType: |
|
| 241 |
throw new UnsupportedOperationException(); // does not make sense in CADP target. |
|
| 242 |
|
|
| 243 | 240 |
case FunctionType: |
| 244 | 241 |
emittedTypes.add(typename); |
| 245 | 242 |
EmitDefinition((FunctionType)aType, emitter); |
Also available in: Unified diff
restrict list casts to something useful - i.e. inner type sizes must not change; this is in preparation for faster dynamic list support in momut; deep casts now need to be done manually by the user via fold operations or can be added again to the ooas compiler as a more expensive, special cast operator; also more cleaning of Qualitative Action System stuff