1 files changed, 230 insertions, 5 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
index 81aec312..3fbfd5d3 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
@@ -1859,15 +1859,205 @@ ruleConfigEntry returns [EObject current=null]
        leaveRule();
 }:
        (
+                {
+                        newCompositeNode(grammarAccess.getConfigEntryAccess().getDocumentationEntryParserRuleCall_0());
+                }
+                this_DocumentationEntry_0=ruleDocumentationEntry
+                {
+                        $current = $this_DocumentationEntry_0.current;
+                        afterParserOrEnumRuleCall();
+                }
+                    |
+                {
+                        newCompositeNode(grammarAccess.getConfigEntryAccess().getRuntimeEntryParserRuleCall_1());
+                }
+                this_RuntimeEntry_1=ruleRuntimeEntry
+                {
+                        $current = $this_RuntimeEntry_1.current;
+                        afterParserOrEnumRuleCall();
+                }
+                    |
+                {
+                        newCompositeNode(grammarAccess.getConfigEntryAccess().getMemoryEntryParserRuleCall_2());
+                }
+                this_MemoryEntry_2=ruleMemoryEntry
+                {
+                        $current = $this_MemoryEntry_2.current;
+                        afterParserOrEnumRuleCall();
+                }
+                    |
+                {
+                        newCompositeNode(grammarAccess.getConfigEntryAccess().getCustomEntryParserRuleCall_3());
+                }
+                this_CustomEntry_3=ruleCustomEntry
+                {
+                        $current = $this_CustomEntry_3.current;
+                        afterParserOrEnumRuleCall();
+                }
+        )
+;
+// Entry rule entryRuleDocumentationEntry
+entryRuleDocumentationEntry returns [EObject current=null]:
+        { newCompositeNode(grammarAccess.getDocumentationEntryRule()); }
+        iv_ruleDocumentationEntry=ruleDocumentationEntry
+        { $current=$iv_ruleDocumentationEntry.current; }
+        EOF;
+// Rule DocumentationEntry
+ruleDocumentationEntry returns [EObject current=null]
+@init {
+        enterRule();
+}
+@after {
+        leaveRule();
+}:
+        (
+                otherlv_0='documents'
+                {
+                        newLeafNode(otherlv_0, grammarAccess.getDocumentationEntryAccess().getDocumentsKeyword_0());
+                }
+                otherlv_1='='
+                {
+                        newLeafNode(otherlv_1, grammarAccess.getDocumentationEntryAccess().getEqualsSignKeyword_1());
+                }
+                (
+                        (
+                                {
+                                        newCompositeNode(grammarAccess.getDocumentationEntryAccess().getLevelDocumentLevelSpecificationEnumRuleCall_2_0());
+                                }
+                                lv_level_2_0=ruleDocumentLevelSpecification
+                                {
+                                        if ($current==null) {
+                                                $current = createModelElementForParent(grammarAccess.getDocumentationEntryRule());
+                                        }
+                                        set(
+                                                $current,
+                                                "level",
+                                                lv_level_2_0,
+                                                "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.DocumentLevelSpecification");
+                                        afterParserOrEnumRuleCall();
+                                }
+                        )
+                )
+        )
+;
+// Entry rule entryRuleRuntimeEntry
+entryRuleRuntimeEntry returns [EObject current=null]:
+        { newCompositeNode(grammarAccess.getRuntimeEntryRule()); }
+        iv_ruleRuntimeEntry=ruleRuntimeEntry
+        { $current=$iv_ruleRuntimeEntry.current; }
+        EOF;
+// Rule RuntimeEntry
+ruleRuntimeEntry returns [EObject current=null]
+@init {
+        enterRule();
+}
+@after {
+        leaveRule();
+}:
+        (
+                otherlv_0='runtime'
+                {
+                        newLeafNode(otherlv_0, grammarAccess.getRuntimeEntryAccess().getRuntimeKeyword_0());
+                }
+                otherlv_1='='
+                {
+                        newLeafNode(otherlv_1, grammarAccess.getRuntimeEntryAccess().getEqualsSignKeyword_1());
+                }
+                (
+                        (
+                                lv_millisecLimit_2_0=RULE_INT
+                                {
+                                        newLeafNode(lv_millisecLimit_2_0, grammarAccess.getRuntimeEntryAccess().getMillisecLimitINTTerminalRuleCall_2_0());
+                                }
+                                {
+                                        if ($current==null) {
+                                                $current = createModelElement(grammarAccess.getRuntimeEntryRule());
+                                        }
+                                        setWithLastConsumed(
+                                                $current,
+                                                "millisecLimit",
+                                                lv_millisecLimit_2_0,
+                                                "org.eclipse.xtext.common.Terminals.INT");
+                                }
+                        )
+                )
+        )
+;
+// Entry rule entryRuleMemoryEntry
+entryRuleMemoryEntry returns [EObject current=null]:
+        { newCompositeNode(grammarAccess.getMemoryEntryRule()); }
+        iv_ruleMemoryEntry=ruleMemoryEntry
+        { $current=$iv_ruleMemoryEntry.current; }
+        EOF;
+// Rule MemoryEntry
+ruleMemoryEntry returns [EObject current=null]
+@init {
+        enterRule();
+}
+@after {
+        leaveRule();
+}:
+        (
+                otherlv_0='memory'
+                {
+                        newLeafNode(otherlv_0, grammarAccess.getMemoryEntryAccess().getMemoryKeyword_0());
+                }
+                otherlv_1='='
+                {
+                        newLeafNode(otherlv_1, grammarAccess.getMemoryEntryAccess().getEqualsSignKeyword_1());
+                }
+                (
+                        (
+                                lv_megabyteLimit_2_0=RULE_INT
+                                {
+                                        newLeafNode(lv_megabyteLimit_2_0, grammarAccess.getMemoryEntryAccess().getMegabyteLimitINTTerminalRuleCall_2_0());
+                                }
+                                {
+                                        if ($current==null) {
+                                                $current = createModelElement(grammarAccess.getMemoryEntryRule());
+                                        }
+                                        setWithLastConsumed(
+                                                $current,
+                                                "megabyteLimit",
+                                                lv_megabyteLimit_2_0,
+                                                "org.eclipse.xtext.common.Terminals.INT");
+                                }
+                        )
+                )
+        )
+;
+// Entry rule entryRuleCustomEntry
+entryRuleCustomEntry returns [EObject current=null]:
+        { newCompositeNode(grammarAccess.getCustomEntryRule()); }
+        iv_ruleCustomEntry=ruleCustomEntry
+        { $current=$iv_ruleCustomEntry.current; }
+        EOF;
+// Rule CustomEntry
+ruleCustomEntry returns [EObject current=null]
+@init {
+        enterRule();
+}
+@after {
+        leaveRule();
+}:
+        (
                (
                        (
                                lv_key_0_0=RULE_STRING
                                {
-                                        newLeafNode(lv_key_0_0, grammarAccess.getConfigEntryAccess().getKeySTRINGTerminalRuleCall_0_0());
+                                        newLeafNode(lv_key_0_0, grammarAccess.getCustomEntryAccess().getKeySTRINGTerminalRuleCall_0_0());
                                }
                                {
                                        if ($current==null) {
-                                                $current = createModelElement(grammarAccess.getConfigEntryRule());
+                                                $current = createModelElement(grammarAccess.getCustomEntryRule());
                                        }
                                        setWithLastConsumed(
                                                $current,
@@ -1879,17 +2069,17 @@ ruleConfigEntry returns [EObject current=null]
                )
                otherlv_1='='
                {
-                        newLeafNode(otherlv_1, grammarAccess.getConfigEntryAccess().getEqualsSignKeyword_1());
+                        newLeafNode(otherlv_1, grammarAccess.getCustomEntryAccess().getEqualsSignKeyword_1());
                }
                (
                        (
                                lv_value_2_0=RULE_STRING
                                {
-                                        newLeafNode(lv_value_2_0, grammarAccess.getConfigEntryAccess().getValueSTRINGTerminalRuleCall_2_0());
+                                        newLeafNode(lv_value_2_0, grammarAccess.getCustomEntryAccess().getValueSTRINGTerminalRuleCall_2_0());
                                }
                                {
                                        if ($current==null) {
-                                                $current = createModelElement(grammarAccess.getConfigEntryRule());
+                                                $current = createModelElement(grammarAccess.getCustomEntryRule());
                                        }
                                        setWithLastConsumed(
                                                $current,
@@ -3946,6 +4136,41 @@ ruleGenerationTask returns [EObject current=null]
        )
 ;
+// Rule DocumentLevelSpecification
+ruleDocumentLevelSpecification returns [Enumerator current=null]
+@init {
+        enterRule();
+}
+@after {
+        leaveRule();
+}:
+        (
+                (
+                        enumLiteral_0='none'
+                        {
+                                $current = grammarAccess.getDocumentLevelSpecificationAccess().getNoneEnumLiteralDeclaration_0().getEnumLiteral().getInstance();
+                                newLeafNode(enumLiteral_0, grammarAccess.getDocumentLevelSpecificationAccess().getNoneEnumLiteralDeclaration_0());
+                        }
+                )
+                    |
+                (
+                        enumLiteral_1='normal'
+                        {
+                                $current = grammarAccess.getDocumentLevelSpecificationAccess().getNormalEnumLiteralDeclaration_1().getEnumLiteral().getInstance();
+                                newLeafNode(enumLiteral_1, grammarAccess.getDocumentLevelSpecificationAccess().getNormalEnumLiteralDeclaration_1());
+                        }
+                )
+                    |
+                (
+                        enumLiteral_2='full'
+                        {
+                                $current = grammarAccess.getDocumentLevelSpecificationAccess().getFullEnumLiteralDeclaration_2().getEnumLiteral().getInstance();
+                                newLeafNode(enumLiteral_2, grammarAccess.getDocumentLevelSpecificationAccess().getFullEnumLiteralDeclaration_2());
+                        }
+                )
+        )
+;
 // Rule Solver
 ruleSolver returns [Enumerator current=null]
 @init {

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g index 81aec312..3fbfd5d3 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
@@ -1859,15 +1859,205 @@ ruleConfigEntry returns [EObject current=null]
1859	leaveRule();	1859	leaveRule();
1860	}:	1860	}:
1861	(	1861	(
		1862	{
		1863	newCompositeNode(grammarAccess.getConfigEntryAccess().getDocumentationEntryParserRuleCall_0());
		1864	}
		1865	this_DocumentationEntry_0=ruleDocumentationEntry
		1866	{
		1867	$current = $this_DocumentationEntry_0.current;
		1868	afterParserOrEnumRuleCall();
		1869	}
		1870	\|
		1871	{
		1872	newCompositeNode(grammarAccess.getConfigEntryAccess().getRuntimeEntryParserRuleCall_1());
		1873	}
		1874	this_RuntimeEntry_1=ruleRuntimeEntry
		1875	{
		1876	$current = $this_RuntimeEntry_1.current;
		1877	afterParserOrEnumRuleCall();
		1878	}
		1879	\|
		1880	{
		1881	newCompositeNode(grammarAccess.getConfigEntryAccess().getMemoryEntryParserRuleCall_2());
		1882	}
		1883	this_MemoryEntry_2=ruleMemoryEntry
		1884	{
		1885	$current = $this_MemoryEntry_2.current;
		1886	afterParserOrEnumRuleCall();
		1887	}
		1888	\|
		1889	{
		1890	newCompositeNode(grammarAccess.getConfigEntryAccess().getCustomEntryParserRuleCall_3());
		1891	}
		1892	this_CustomEntry_3=ruleCustomEntry
		1893	{
		1894	$current = $this_CustomEntry_3.current;
		1895	afterParserOrEnumRuleCall();
		1896	}
		1897	)
		1898	;
		1899
		1900	// Entry rule entryRuleDocumentationEntry
		1901	entryRuleDocumentationEntry returns [EObject current=null]:
		1902	{ newCompositeNode(grammarAccess.getDocumentationEntryRule()); }
		1903	iv_ruleDocumentationEntry=ruleDocumentationEntry
		1904	{ $current=$iv_ruleDocumentationEntry.current; }
		1905	EOF;
		1906
		1907	// Rule DocumentationEntry
		1908	ruleDocumentationEntry returns [EObject current=null]
		1909	@init {
		1910	enterRule();
		1911	}
		1912	@after {
		1913	leaveRule();
		1914	}:
		1915	(
		1916	otherlv_0='documents'
		1917	{
		1918	newLeafNode(otherlv_0, grammarAccess.getDocumentationEntryAccess().getDocumentsKeyword_0());
		1919	}
		1920	otherlv_1='='
		1921	{
		1922	newLeafNode(otherlv_1, grammarAccess.getDocumentationEntryAccess().getEqualsSignKeyword_1());
		1923	}
		1924	(
		1925	(
		1926	{
		1927	newCompositeNode(grammarAccess.getDocumentationEntryAccess().getLevelDocumentLevelSpecificationEnumRuleCall_2_0());
		1928	}
		1929	lv_level_2_0=ruleDocumentLevelSpecification
		1930	{
		1931	if ($current==null) {
		1932	$current = createModelElementForParent(grammarAccess.getDocumentationEntryRule());
		1933	}
		1934	set(
		1935	$current,
		1936	"level",
		1937	lv_level_2_0,
		1938	"hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.DocumentLevelSpecification");
		1939	afterParserOrEnumRuleCall();
		1940	}
		1941	)
		1942	)
		1943	)
		1944	;
		1945
		1946	// Entry rule entryRuleRuntimeEntry
		1947	entryRuleRuntimeEntry returns [EObject current=null]:
		1948	{ newCompositeNode(grammarAccess.getRuntimeEntryRule()); }
		1949	iv_ruleRuntimeEntry=ruleRuntimeEntry
		1950	{ $current=$iv_ruleRuntimeEntry.current; }
		1951	EOF;
		1952
		1953	// Rule RuntimeEntry
		1954	ruleRuntimeEntry returns [EObject current=null]
		1955	@init {
		1956	enterRule();
		1957	}
		1958	@after {
		1959	leaveRule();
		1960	}:
		1961	(
		1962	otherlv_0='runtime'
		1963	{
		1964	newLeafNode(otherlv_0, grammarAccess.getRuntimeEntryAccess().getRuntimeKeyword_0());
		1965	}
		1966	otherlv_1='='
		1967	{
		1968	newLeafNode(otherlv_1, grammarAccess.getRuntimeEntryAccess().getEqualsSignKeyword_1());
		1969	}
		1970	(
		1971	(
		1972	lv_millisecLimit_2_0=RULE_INT
		1973	{
		1974	newLeafNode(lv_millisecLimit_2_0, grammarAccess.getRuntimeEntryAccess().getMillisecLimitINTTerminalRuleCall_2_0());
		1975	}
		1976	{
		1977	if ($current==null) {
		1978	$current = createModelElement(grammarAccess.getRuntimeEntryRule());
		1979	}
		1980	setWithLastConsumed(
		1981	$current,
		1982	"millisecLimit",
		1983	lv_millisecLimit_2_0,
		1984	"org.eclipse.xtext.common.Terminals.INT");
		1985	}
		1986	)
		1987	)
		1988	)
		1989	;
		1990
		1991	// Entry rule entryRuleMemoryEntry
		1992	entryRuleMemoryEntry returns [EObject current=null]:
		1993	{ newCompositeNode(grammarAccess.getMemoryEntryRule()); }
		1994	iv_ruleMemoryEntry=ruleMemoryEntry
		1995	{ $current=$iv_ruleMemoryEntry.current; }
		1996	EOF;
		1997
		1998	// Rule MemoryEntry
		1999	ruleMemoryEntry returns [EObject current=null]
		2000	@init {
		2001	enterRule();
		2002	}
		2003	@after {
		2004	leaveRule();
		2005	}:
		2006	(
		2007	otherlv_0='memory'
		2008	{
		2009	newLeafNode(otherlv_0, grammarAccess.getMemoryEntryAccess().getMemoryKeyword_0());
		2010	}
		2011	otherlv_1='='
		2012	{
		2013	newLeafNode(otherlv_1, grammarAccess.getMemoryEntryAccess().getEqualsSignKeyword_1());
		2014	}
		2015	(
		2016	(
		2017	lv_megabyteLimit_2_0=RULE_INT
		2018	{
		2019	newLeafNode(lv_megabyteLimit_2_0, grammarAccess.getMemoryEntryAccess().getMegabyteLimitINTTerminalRuleCall_2_0());
		2020	}
		2021	{
		2022	if ($current==null) {
		2023	$current = createModelElement(grammarAccess.getMemoryEntryRule());
		2024	}
		2025	setWithLastConsumed(
		2026	$current,
		2027	"megabyteLimit",
		2028	lv_megabyteLimit_2_0,
		2029	"org.eclipse.xtext.common.Terminals.INT");
		2030	}
		2031	)
		2032	)
		2033	)
		2034	;
		2035
		2036	// Entry rule entryRuleCustomEntry
		2037	entryRuleCustomEntry returns [EObject current=null]:
		2038	{ newCompositeNode(grammarAccess.getCustomEntryRule()); }
		2039	iv_ruleCustomEntry=ruleCustomEntry
		2040	{ $current=$iv_ruleCustomEntry.current; }
		2041	EOF;
		2042
		2043	// Rule CustomEntry
		2044	ruleCustomEntry returns [EObject current=null]
		2045	@init {
		2046	enterRule();
		2047	}
		2048	@after {
		2049	leaveRule();
		2050	}:
		2051	(
1862	(	2052	(
1863	(	2053	(
1864	lv_key_0_0=RULE_STRING	2054	lv_key_0_0=RULE_STRING
1865	{	2055	{
1866	newLeafNode(lv_key_0_0, grammarAccess.getConfigEntryAccess().getKeySTRINGTerminalRuleCall_0_0());	2056	newLeafNode(lv_key_0_0, grammarAccess.getCustomEntryAccess().getKeySTRINGTerminalRuleCall_0_0());
1867	}	2057	}
1868	{	2058	{
1869	if ($current==null) {	2059	if ($current==null) {
1870	$current = createModelElement(grammarAccess.getConfigEntryRule());	2060	$current = createModelElement(grammarAccess.getCustomEntryRule());
1871	}	2061	}
1872	setWithLastConsumed(	2062	setWithLastConsumed(
1873	$current,	2063	$current,
@@ -1879,17 +2069,17 @@ ruleConfigEntry returns [EObject current=null]
1879	)	2069	)
1880	otherlv_1='='	2070	otherlv_1='='
1881	{	2071	{
1882	newLeafNode(otherlv_1, grammarAccess.getConfigEntryAccess().getEqualsSignKeyword_1());	2072	newLeafNode(otherlv_1, grammarAccess.getCustomEntryAccess().getEqualsSignKeyword_1());
1883	}	2073	}
1884	(	2074	(
1885	(	2075	(
1886	lv_value_2_0=RULE_STRING	2076	lv_value_2_0=RULE_STRING
1887	{	2077	{
1888	newLeafNode(lv_value_2_0, grammarAccess.getConfigEntryAccess().getValueSTRINGTerminalRuleCall_2_0());	2078	newLeafNode(lv_value_2_0, grammarAccess.getCustomEntryAccess().getValueSTRINGTerminalRuleCall_2_0());
1889	}	2079	}
1890	{	2080	{
1891	if ($current==null) {	2081	if ($current==null) {
1892	$current = createModelElement(grammarAccess.getConfigEntryRule());	2082	$current = createModelElement(grammarAccess.getCustomEntryRule());
1893	}	2083	}
1894	setWithLastConsumed(	2084	setWithLastConsumed(
1895	$current,	2085	$current,
@@ -3946,6 +4136,41 @@ ruleGenerationTask returns [EObject current=null]
3946	)	4136	)
3947	;	4137	;
3948		4138
		4139	// Rule DocumentLevelSpecification
		4140	ruleDocumentLevelSpecification returns [Enumerator current=null]
		4141	@init {
		4142	enterRule();
		4143	}
		4144	@after {
		4145	leaveRule();
		4146	}:
		4147	(
		4148	(
		4149	enumLiteral_0='none'
		4150	{
		4151	$current = grammarAccess.getDocumentLevelSpecificationAccess().getNoneEnumLiteralDeclaration_0().getEnumLiteral().getInstance();
		4152	newLeafNode(enumLiteral_0, grammarAccess.getDocumentLevelSpecificationAccess().getNoneEnumLiteralDeclaration_0());
		4153	}
		4154	)
		4155	\|
		4156	(
		4157	enumLiteral_1='normal'
		4158	{
		4159	$current = grammarAccess.getDocumentLevelSpecificationAccess().getNormalEnumLiteralDeclaration_1().getEnumLiteral().getInstance();
		4160	newLeafNode(enumLiteral_1, grammarAccess.getDocumentLevelSpecificationAccess().getNormalEnumLiteralDeclaration_1());
		4161	}
		4162	)
		4163	\|
		4164	(
		4165	enumLiteral_2='full'
		4166	{
		4167	$current = grammarAccess.getDocumentLevelSpecificationAccess().getFullEnumLiteralDeclaration_2().getEnumLiteral().getInstance();
		4168	newLeafNode(enumLiteral_2, grammarAccess.getDocumentLevelSpecificationAccess().getFullEnumLiteralDeclaration_2());
		4169	}
		4170	)
		4171	)
		4172	;
		4173
3949	// Rule Solver	4174	// Rule Solver
3950	ruleSolver returns [Enumerator current=null]	4175	ruleSolver returns [Enumerator current=null]
3951	@init {	4176	@init {