Commit 0e5b00a1 authored by balaskoa's avatar balaskoa
Browse files

compileonly has been copied to Regression_Test_java, some folder excluded


Signed-off-by: default avatarbalaskoa <Jeno.Balasko@ericsson.com>
Change-Id: I0e9645c6ed8ffb21f5294af022dd70eb964c3919
parent 591af293
......@@ -135,6 +135,167 @@
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/Bug550526</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/Bug550623</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/Bug552232</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/UntaggedOnTopLevelUnionSwitch</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/asnStringSubtypes</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/assignmentNotation</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/attribQualif</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/centralstorage</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/deterministic</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/dynamicTemplate</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/isbound</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/mfgen-tpd</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/mfgen-tpd/buildconfig_param</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/mfgen-xsd</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/nameClash</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/openType</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/openTypeNames</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/optionalAssignCompare</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/portConstructor</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/portTranslation</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/realtimeKeywords</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/styleGuide</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/compileonly/typeDescrGenWIthNoXER</FolderPath>
<FolderProperties>
<CentralStorage>false</CentralStorage>
<ExcludeFromBuild>true</ExcludeFromBuild>
</FolderProperties>
</FolderResource>
<FolderResource>
<FolderPath>src/defaultAlternative</FolderPath>
<FolderProperties>
......
......@@ -11,7 +11,7 @@
******************************************************************************/
module OER {
import from Types all;
import from OERTypes all;
type component EmptyCT {
......
......@@ -9,7 +9,7 @@
-- Szabo, Bence Janos
--
--/////////////////////////////////////////////////////////////////////////////
Types
OERTypes
DEFINITIONS
AUTOMATIC TAGS
......
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Baranyi, Botond
* Szabo, Bence Janos
*
******************************************************************************/
module Bug544978 {
type record Rec {
integer x
}
type record of Rec RecList1;
type record of Rec RecList2;
function f(inout RecList1 x) return integer {
return 0;
}
control {
var RecList2 x;
if (0 != f(x)) {
log("1");
}
}
}
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2020 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Baranyi, Botond
--
--/////////////////////////////////////////////////////////////////////////////
Bug550526
DEFINITIONS AUTOMATIC TAGS ::=
BEGIN
Main ::= SEQUENCE
{
field1 CHOICE
{
alt1 INTEGER,
alt2 SEQUENCE SIZE (2..255) OF Main
},
field2 CHOICE
{
alt3 INTEGER,
alt4 NULL
}
}
END
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Baranyi, Botond
*
******************************************************************************/
// the decoder functions for base types, that inherit 'encode' attributes from a higher scope
// (in this case the parent record), weren't generated, and their usages were generated incorrectly (bug 550623)
module Bug550623 {
type record templateHexstr_rec {
hexstring x1,
hexstring x2,
hexstring x3 optional
}
with {
encode "RAW";
}
template templateHexstr_rec templateHexstr_tDecmatchSelfRef := {
x1 := '01A'H,
x2 := decmatch templateHexstr_tDecmatchSelfRef.x1,
x3 := decmatch templateHexstr_rec: { x1 := templateHexstr_tDecmatchSelfRef.x1, x2 := ?, x3 := * }
};
}
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Baranyi, Botond
*
******************************************************************************/
// actual parameters (including default values) should not produce semantic errors
// if they are not completely initialized (bug 552232)
module Bug552232 {
type record Rec {
integer a,
charstring b
}
const Rec c_rec := { 2 }
function f_test(in Rec pl_rec := { 2 })
{
log(pl_rec);
}
function f() {
var Rec vl_m := { 2 }
f_test(vl_m);
f_test(-);
f_test(Rec: { 2 });
f_test(c_rec);
}
}
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Baranyi, Botond
*
******************************************************************************/
// pattern subtyping for empty strings (bug 568340)
module Bug568340 {
type charstring T (pattern "(/?+)#(0,1)");
const T val := "";
}
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Baranyi, Botond
*
******************************************************************************/
// pattern subtyping, where a single elment in a set is followed by
// an interval that contains the single element (bug 568592)
module Bug568592 {
type universal charstring T (pattern "[a-zA-Z\q{0, 0, 0, 38}&-;]");
}
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Baranyi, Botond
*
******************************************************************************/
module Test1
{
type component EMPTY_CT
{
}
type record Union
{
record of integer record_of_integer,
charstring string
};
testcase TC_1() runs on EMPTY_CT
{
var boolean b := false;
var Union u1 := {
record_of_integer := {
str2int("2"),
str2int("3")
}
};
}
control {
execute(TC_1());
}
}
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Baranyi, Botond
*
******************************************************************************/
module Test2 {
type record of integer Record1;
type record of Record1 Record2;
function f1() {
var Record2 r1, r2;
r1 := {{1, 2}};
r2 := valueof(r1);
r2 := valueof({{1, 2}});
}
}
<!--
Copyright (c) 2000-2020 Ericsson Telecom AB
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v2.0
which accompanies this distribution, and is available at
https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
Contributors:
Szabo, Bence Janos – initial implementation
-->
<TITAN_Project_File_Information version="1.0">
<ProjectName>UntaggedOnTopUnionSwitchTest</ProjectName>
<ReferencedProjects>
</ReferencedProjects>
<ActiveConfiguration>Default</ActiveConfiguration>
<Configurations>
<Configuration name="Default">
<ProjectProperties>
<MakefileSettings>
<targetExecutable>binDefault</targetExecutable>
<ignoreUntaggedOnTopLevelUnion>true</ignoreUntaggedOnTopLevelUnion>
</MakefileSettings>
<LocalBuildSettings>
<workingDirectory>binDefault</workingDirectory>
</LocalBuildSettings>
</ProjectProperties>
</Configuration>
</Configurations>
</TITAN_Project_File_Information>
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2020 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Szabo, Bence Janos
--
--/////////////////////////////////////////////////////////////////////////////
ASN1Module1
DEFINITIONS
AUTOMATIC TAGS
::=
BEGIN
IMPORTS ; -- nothing
asn1module1 INTEGER ::= 1
END
\ No newline at end of file
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2020 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Szabo, Bence Janos
--
--/////////////////////////////////////////////////////////////////////////////
Definitions
DEFINITIONS IMPLICIT TAGS ::=
BEGIN
IMPORTS
releaseCall-CAPv2
FROM Imported-Definitions ;
OPERATION ::= CLASS {
&ArgumentType ,
&operationCode INTEGER UNIQUE
}
WITH SYNTAX {
[ARGUMENT &ArgumentType]
[CODE &operationCode]
}
Invoke{OPERATION:Operations} ::= SEQUENCE {
opcode
OPERATION.&operationCode
({Operations}),
argument
OPERATION.&ArgumentType
({Operations}{@opcode})
}
CAPv2-Invoke ::= Invoke{{Supported-CAP-Operations-CAPv2}}
Supported-CAP-Operations-CAPv2 OPERATION ::= {
releaseCall-CAPv2
}
END
--/////////////////////////////////////////////////////////////////////////////
-- Copyright (c) 2000-2020 Ericsson Telecom AB
-- All rights reserved. This program and the accompanying materials
-- are made available under the terms of the Eclipse Public License v2.0
-- which accompanies this distribution, and is available at
-- https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
--
-- Contributors:
-- Szabo, Bence Janos
--
--/////////////////////////////////////////////////////////////////////////////
Imported-Definitions
DEFINITIONS IMPLICIT TAGS ::=
BEGIN
IMPORTS OPERATION FROM Definitions ;
releaseCall-CAPv2 OPERATION ::= {
ARGUMENT
INTEGER
CODE 22
}
END
/******************************************************************************
* Copyright (c) 2000-2020 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Szabo, Bence Janos
*
******************************************************************************/
module OpenType_Test {
import from Definitions all;
function f_EPTF_CAPv2_createRCFromParams() return CAPv2_Invoke
{
var CAPv2_Invoke vl_CAPv2_RCMsg;
vl_CAPv2_RCMsg.argument.iNTEGER := 4;
return vl_CAPv2_RCMsg;
}
}
\ No newline at end of file