Summary

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

Details

Page properties

Author

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

Content

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