| ... | @@ -7,50 +7,50 @@ This document lists the issues with the official OOP conformance test codes. |
... | @@ -7,50 +7,50 @@ This document lists the issues with the official OOP conformance test codes. |
|
|
|
|
|
|
|
- [Missing "language" keyword issue](https://gitlab.eclipse.org/eclipse/titan/titan.EclipsePlug-ins/-/issues/432)
|
|
- [Missing "language" keyword issue](https://gitlab.eclipse.org/eclipse/titan/titan.EclipsePlug-ins/-/issues/432)
|
|
|
|
|
|
|
|
## Sem_50101_top_level_005.ttcn
|
|
## Sem_50101_top_level_005.ttcn [corrected]
|
|
|
|
|
|
|
|
The purpose of the test is to check that a class can declare a port as member, but the class declaration body is empty.
|
|
The purpose of the test is to check that a class can declare a port as member, but the class declaration body is empty.
|
|
|
Additionally, the testcase line misses the mandatory parentheses after the testcase name.
|
|
Additionally, the testcase line misses the mandatory parentheses after the testcase name.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## Sem_50101_top_level_006.ttcn
|
|
## Sem_50101_top_level_006.ttcn [corrected]
|
|
|
|
|
|
|
|
It is unclear if a member function can return a timer. Probably it is not permitted by the standard.
|
|
It is unclear if a member function can return a timer. Probably it is not permitted by the standard.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## Sem_5010105_Constructors_002
|
|
## Sem_5010105_Constructors_002 [corrected]
|
|
|
|
|
|
|
|
Field visibility cannot be public.
|
|
Field visibility cannot be public.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## NegSem_50101_top_level_011
|
|
## NegSem_50101_top_level_011 [corrected]
|
|
|
|
|
|
|
|
In the first testcase, the order of the **runs on** and **system** clauses is wrong. According to the standard, **runs on** should appear first.
|
|
In the first testcase, the order of the **runs on** and **system** clauses is wrong. According to the standard, **runs on** should appear first.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## NegSem_50101_top_level_007
|
|
## NegSem_50101_top_level_007 [Titan specific, needs to be checked]
|
|
|
|
|
|
|
|
Titan has a special handling for anytype. Users have to explicitly define types in the anytype union using extension attributes. Because of this, this test does not compile correcty.
|
|
Titan has a special handling for anytype. Users have to explicitly define types in the anytype union using extension attributes. Because of this, this test does not compile correcty.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## NegSem_5010104_finalClasses_001
|
|
## NegSem_5010104_finalClasses_001 [TC NOT FOUND]
|
|
|
|
|
|
|
|
The second "not allowed" comment is wrong. Abstract classes can declare non-abstract methods with a body.
|
|
The second "not allowed" comment is wrong. Abstract classes can declare non-abstract methods with a body.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## NegSem_5010107_Methods_001
|
|
## NegSem_5010107_Methods_001 [corrected]
|
|
|
|
|
|
|
|
Parent constructor call with the ': ParentClass()' syntax is only valid in the class type definition, not for the constructor call.
|
|
Parent constructor call with the ': ParentClass()' syntax is only valid in the class type definition, not for the constructor call.
|
|
|
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
## NegSem_5010107_Methods_004
|
|
## NegSem_5010107_Methods_004 [TC NOT FOUND]
|
|
|
|
|
|
|
|
According to the standard, 'runs on', 'mtc' and 'system' clauses precedce the 'returns' clause, so in this test the order is wrong.
|
|
According to the standard, 'runs on', 'mtc' and 'system' clauses precedce the 'returns' clause, so in this test the order is wrong.
|
|
|
|
|
|
| ... | | ... | |