<
From version < 9.1 >
edited by ssm
on 2013/05/08 11:06
To version < 10.1 >
edited by ssm
on 2013/05/08 11:28
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -365,4 +365,72 @@
365 365  
366 366  = SCL Basic Block Extensions =
367 367  
368 -//coming soon...//
368 +The Basic Block Extensions retrieve information about basic blocks in the SCL model. A basic block can be identified by any statement in the block. Usually the first statement (called basic block root statement) in the block is used.
369 +
370 +|=(((
371 +Method
372 +)))|=(((
373 +Description
374 +)))
375 +|(((
376 +def ArrayList<Statement> getBasicBlock(Statement)
377 +
378 +def ArrayList<Statement> getBasicBlock(Statement, List<Statement>)
379 +)))|(((
380 +Retrieves all statements of the basic block in which the given statement is located.
381 +)))
382 +|(% colspan="1" %)(% colspan="1" %)
383 +(((
384 +def Statement getBasicBlockRoot(Statement)
385 +
386 +def Statement getBasicBlockRoot(List<Statement>)
387 +)))|(% colspan="1" %)(% colspan="1" %)
388 +(((
389 +Returns the root statement of a basic block.
390 +)))
391 +|(% colspan="1" %)(% colspan="1" %)
392 +(((
393 +def boolean isInBasicBlock(Statement, Statement)
394 +
395 +def boolean isInBasicBlock(Statement, List<Statement>)
396 +)))|(% colspan="1" %)(% colspan="1" %)
397 +(((
398 +Returns true, if the caller statement is contained in the given basic block.
399 +)))
400 +|(% colspan="1" %)(% colspan="1" %)
401 +(((
402 +def String getBasicBlockID(Statement)
403 +
404 +def String getBasicBlockID(List<Statement>)
405 +)))|(% colspan="1" %)(% colspan="1" %)
406 +(((
407 +Returns an unique ID for the given basic block. To create this ID, the hash code of the root statement is used.
408 +)))
409 +|(% colspan="1" %)(% colspan="1" %)
410 +(((
411 +def ArrayList<Statement> getBasicBlockRoots(Statement)
412 +)))|(% colspan="1" %)(% colspan="1" %)
413 +(((
414 +Returns a list of all basic block root statements in the contorl flow of the calling statement.
415 +)))
416 +|(% colspan="1" %)(% colspan="1" %)
417 +(((
418 +def ArrayList<Statement> getAllBasicBlockRoots(Statement)
419 +)))|(% colspan="1" %)(% colspan="1" %)
420 +(((
421 +Returns a list of all basic block root statements in the program that contains the calling statement.
422 +)))
423 +|(% colspan="1" %)(% colspan="1" %)
424 +(((
425 +def int getBasicBlockIndex(Statement)
426 +)))|(% colspan="1" %)(% colspan="1" %)
427 +(((
428 +Returns the index of the given basic block.
429 +)))
430 +|(% colspan="1" %)(% colspan="1" %)
431 +(((
432 +def ArrayList<Statement> getBasicBlockPredecessorRoots(Statement)
433 +)))|(% colspan="1" %)(% colspan="1" %)
434 +(((
435 +Returns a list of basic block root statements, that identify the predecessor basic blocks of the basic block identified by the given statement.
436 +)))
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -7110874
1 +7110876
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7110874/SCL Extensions
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7110876/SCL Extensions