Changes for page SCL Extensions
Last modified by Richard Kreissig on 2023/09/14 11:13
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
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 -711087 41 +7110876 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/711087 4/SCL Extensions1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7110876/SCL Extensions