ILibraryInterface

de.uni_luebeck.isp.tessla.instrumenter.CInstrumentation.ILibraryInterface

Defines the callbacks an instrumentation library has to define. The check callbacks are called whenever their respective action (e.g. call, return) occurs in the source code, returning the name of the callback function to be generated in C code, or an empty String if no callback should be generated for this action.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def checkInstFuncCall(f: IFunDesc, parent: IFullFunDesc, file: String, line: Int, col: Int): String

Called when the function gets called.

Called when the function gets called.

Attributes

Returns

the name of the callback to generate, or an empty String.

def checkInstFuncCalled(f: IFullFunDesc, file: String, line: Int, col: Int): String

Called when the function got called.

Called when the function got called.

Attributes

Returns

the name of the callback to generate, or an empty String.

def checkInstFuncReturn(f: IFullFunDesc, file: String, line: Int, col: Int): String

Called when the function returns.

Called when the function returns.

Attributes

Returns

the name of the callback to generate, or an empty String.

def checkInstFuncReturned(f: IFunDesc, parent: IFullFunDesc, file: String, line: Int, col: Int): String

Called when the function returned.

Called when the function returned.

Attributes

Returns

the name of the callback to generate, or an empty String.

def checkInstRead(pattern: String, `type`: String, parent: IFullFunDesc, file: String, line: Int, col: Int): String

Called when a read operation with this pattern occurs.

Called when a read operation with this pattern occurs.

Attributes

Returns

the name of the callback to generate, or an empty String.

def checkInstWrite(pattern: String, `type`: String, parent: IFullFunDesc, file: String, line: Int, col: Int): String

Called when a write operation with this pattern occurs.

Called when a write operation with this pattern occurs.

Attributes

Returns

the name of the callback to generate, or an empty String.

def getCallbackCode(cbName: String): String

Return the code to use for the provided callback function name.

Return the code to use for the provided callback function name.

Value parameters

cbName

the name of the callback function

Attributes

Returns

the body of the callback function in C code.

def getUserCbPrefix: String

Used to define a code prefix, e.g. for includes.

Used to define a code prefix, e.g. for includes.

Attributes

def reportDiagnostic(`type`: String, message: String, file: String, line: Int, col: Int): Unit

Reports warnings or errors which occurred during the instrumentation.

Reports warnings or errors which occurred during the instrumentation.

Attributes