Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.stu230980
	1	+XWiki.als

Content

...	...	@@ -1,10 +1,11 @@
1		-== Deprecated since 0.12 ==
	1	+{{panel bgColor="orange" title="Deprecated since 0.12"}}
2	2	This article is deprecated. The described features are no longer available in current releases.
	3	+{{/panel}}
3	3
	5	+\\
4	4
5	5
6	6
7		-
8	8	{{toc/}}
9	9
10	10	There are several extensions implemented to ease the work with a scl model. (de.cau.cs.kieler.scl.extensions)
...	...	@@ -119,7 +119,7 @@
119	119	Description
120	120	)))
121	121	|(((
122		-def **int** compareSCLRegionStateOrder(SyncState, SyncState)(% style="font-size:small" %)
	123	+def **int** compareSCLRegionStateOrder(SyncState, SyncState)(% style="font-size: small;" %)
123	123	)))|(((
124	124	Sorts states according to their type. Initial states come first, final states last.
125	125	)))
...	...	@@ -200,7 +200,7 @@
200	200	|(((
201	201	def AbstractThread getThread(Instruction)
202	202
203		-def AbstractThread getThread(Statement)(% style="font-size:small" %)
	204	+def AbstractThread getThread(Statement)(% style="font-size: small;" %)
204	204	)))|(((
205	205	Returns the SCL thread of a SCL statement or SCL instruction.
206	206	)))
...	...	@@ -208,7 +208,7 @@
208	208	(((
209	209	def AbstractThread getMainThread(Instruction)
210	210
211		-def AbstractThread getMainThread(Statement)(% style="font-size:small" %)
	212	+def AbstractThread getMainThread(Statement)(% style="font-size: small;" %)
212	212	)))|(% colspan="1" %)(% colspan="1" %)
213	213	(((
214	214	Returns the main thread of a SCL program.
...	...	@@ -262,7 +262,7 @@
262	262	(((
263	263	def dropPrevious(AbstractThread, Statement)
264	264
265		-def dropPrevious(List<Statement>, Statement)(% style="font-size:small" %)
	266	+def dropPrevious(List<Statement>, Statement)(% style="font-size: small;" %)
266	266	)))|(% colspan="1" %)(% colspan="1" %)
267	267	(((
268	268	Drops all preceding statements in a thread or a list of statements before the given statement.
...	...	@@ -324,7 +324,7 @@
324	324	)))
325	325	|(% colspan="1" %)(% colspan="1" %)
326	326	(((
327		-def InstructionStatement getInstructionStatement(Statement)(% style="font-size:small" %)
	328	+def InstructionStatement getInstructionStatement(Statement)(% style="font-size: small;" %)
328	328	)))|(% colspan="1" %)(% colspan="1" %)
329	329	(((
330	330	Returns the first valid InstructionStatement in a thread after the given statement. **May return null, if no further InstructionStatement exists.**
...	...	@@ -448,6 +448,6 @@
448	448
449	449	{{code language="java" title="SCL Basic Block Extensions Code Examples"}}
450	450	for (predecessor : basicBlockData.BasicBlockRootStatement.getBasicBlockPredecessors) {
451		- goLabelText = goLabelText + 'P' + predecessor.getBasicBlockIndex + "\n"
	452	+ goLabelText = goLabelText + 'P' + predecessor.getBasicBlockIndex + "\n"
452	452	}
453	453	{{/code}}