original/examples/syntax/syntax.exp in expressir-0.2.0 vs original/examples/syntax/syntax.exp in expressir-0.2.1

- old
+ new

@@ -10,16 +10,16 @@ CONSTANT -- literals binaryExpression : STRING := %011110000111100001111000; integerExpression : STRING := 999; - logicalTrueExpression : STRING := TRUE; - logicalFalseExpression : STRING := FALSE; - logicalUnknownExpression : STRING := UNKNOWN; + trueLogicalExpression : STRING := TRUE; + falseLogicalExpression : STRING := FALSE; + unknownLogicalExpression : STRING := UNKNOWN; realExpression : STRING := 999.999; - stringSimpleExpression : STRING := 'xxx'; - stringEncodedExpression : STRING := "000000780000007800000078"; + simpleStringExpression : STRING := 'xxx'; + encodedStringExpression : STRING := "000000780000007800000078"; -- constants constEExpression : STRING := CONST_E; indeterminateExpression : STRING := ?; piExpression : STRING := PI; @@ -91,14 +91,14 @@ combineExpression : STRING := test || test; inExpression : STRING := TRUE IN [TRUE]; likeExpression : STRING := 'xxx' LIKE 'xxx'; -- aggregate initializers - aggregateExpression : STRING := ['xxx']; - aggregateRepeatedExpression : STRING := ['xxx' : 2]; - aggregateComplexExpression : STRING := [4 + 2]; - aggregateComplexRepeatedExpression : STRING := [4 + 2 : 4 + 2]; + aggregateInitializerExpression : STRING := ['xxx']; + repeatedAggregateInitializerExpression : STRING := ['xxx' : 2]; + complexAggregateInitializerExpression : STRING := [4 + 2]; + complexRepeatedAggregateInitializerExpression : STRING := [4 + 2 : 4 + 2]; -- entity constructors entityConstructorExpression : STRING := explicitAttributeEntity(TRUE); -- enumeration references @@ -173,17 +173,22 @@ ENTITY supertypeConstraintSubtypeEntity SUPERTYPE OF (emptyEntity) SUBTYPE OF (emptyEntity); END_ENTITY; ENTITY explicitAttributeEntity; test : BOOLEAN; END_ENTITY; ENTITY explicitAttributeOptionalEntity; test : OPTIONAL BOOLEAN; END_ENTITY; ENTITY explicitAttributeMultipleEntity; test : BOOLEAN; test2 : BOOLEAN; END_ENTITY; ENTITY explicitAttributeMultipleShorthandEntity; test, test2 : BOOLEAN; END_ENTITY; -ENTITY explicitAttributeRenamedEntity; SELF\explicitAttributeEntity.test RENAMED test2: BOOLEAN; END_ENTITY; +ENTITY explicitAttributeRedeclaredEntity; SELF\explicitAttributeEntity.test: BOOLEAN; END_ENTITY; +ENTITY explicitAttributeRedeclaredRenamedEntity; SELF\explicitAttributeEntity.test RENAMED test2: BOOLEAN; END_ENTITY; ENTITY derivedAttributeEntity; DERIVE test : BOOLEAN := TRUE; END_ENTITY; +ENTITY derivedAttributeRedeclaredEntity; DERIVE SELF\explicitAttributeEntity.test : BOOLEAN := TRUE; END_ENTITY; +ENTITY derivedAttributeRedeclaredRenamedEntity; DERIVE SELF\explicitAttributeEntity.test RENAMED test2 : BOOLEAN := TRUE; END_ENTITY; ENTITY inverseAttributeEntity; INVERSE test : explicitAttributeEntity FOR test; END_ENTITY; ENTITY inverseAttributeEntityEntity; INVERSE test : explicitAttributeEntity FOR explicitAttributeEntity.test; END_ENTITY; ENTITY inverseAttributeSetEntity; INVERSE test : SET OF explicitAttributeEntity FOR test; END_ENTITY; ENTITY inverseAttributeSetBoundEntity; INVERSE test : SET [1:9] OF explicitAttributeEntity FOR test; END_ENTITY; ENTITY inverseAttributeBagEntity; INVERSE test : BAG OF explicitAttributeEntity FOR test; END_ENTITY; ENTITY inverseAttributeBagBoundEntity; INVERSE test : BAG [1:9] OF explicitAttributeEntity FOR test; END_ENTITY; +ENTITY inverseAttributeRedeclaredEntity; INVERSE SELF\explicitAttributeEntity.test : explicitAttributeEntity FOR test; END_ENTITY; +ENTITY inverseAttributeRedeclaredRenamedEntity; INVERSE SELF\explicitAttributeEntity.test RENAMED test2 : explicitAttributeEntity FOR test; END_ENTITY; ENTITY uniqueEntity; UNIQUE test; END_ENTITY; ENTITY uniqueLabelEntity; UNIQUE UR1: test; END_ENTITY; ENTITY uniqueQualifiedEntity; UNIQUE SELF\explicitAttributeEntity.test; END_ENTITY; ENTITY uniqueLabelQualifiedEntity; UNIQUE UR1: SELF\explicitAttributeEntity.test; END_ENTITY; ENTITY whereEntity; WHERE TRUE; END_ENTITY;