instrumenter
API
Generated with
instrumenter/de.uni_luebeck.isp.tessla.instrumenter/CInstrumentationBridge

CInstrumentationBridge

de.uni_luebeck.isp.tessla.instrumenter.CInstrumentationBridge
object CInstrumentationBridge

A bridge class, used to connect a library produced by the CInstrumentation to the native library provided by the clang-instrumentation project.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class FullFunctionDesc(f: FullFunctionDesc) extends FunctionDesc, IFullFunDesc

Define an IFullFunDesc by the given native function description.

Define an IFullFunDesc by the given native function description.

Value parameters

f

the native function description

Attributes

Supertypes
trait IFullFunDesc
class FunctionDesc
trait IFunDesc
class Object
trait Matchable
class Any
Show all
class FunctionDesc(f: FunctionDesc) extends IFunDesc

Define an IFunDesc by the given native function description

Define an IFunDesc by the given native function description

Value parameters

f

the native function description

Attributes

Supertypes
trait IFunDesc
class Object
trait Matchable
class Any
Known subtypes

Value members

Concrete methods

def Instrumenter(cFileName: String, inclPath: Seq[String]): TesslaPhase[Specification, Unit]

The instrumenter uses the CInstrumentation to generate a library interface, which it then binds to the native library by extending the interface provided by the library, and delegating the calls. Finally, it then runs the instrumentation process

The instrumenter uses the CInstrumentation to generate a library interface, which it then binds to the native library by extending the interface provided by the library, and delegating the calls. Finally, it then runs the instrumentation process

Value parameters

cFileName

the C file to instrument

inclPath

the include paths to use

Attributes

def isPlatformSupported: Boolean

Checks if the current platform is supported by the native library.

Checks if the current platform is supported by the native library.

Attributes

Returns

true if the platform is supported

Concrete fields

val supportedPlatforms: Set[(String, String)]

The supported platforms of the clang-instrumentation library

The supported platforms of the clang-instrumentation library

Attributes

Implicits

Implicits

implicit def fullFunctionDescToIFullFunctionDesc(f: FullFunctionDesc): IFullFunDesc

Implicit conversion from a native to a non-native full function description

Implicit conversion from a native to a non-native full function description

Attributes

implicit def functionDescToIFunctionDesc(f: FunctionDesc): IFunDesc

Implicit conversion from a native to a non-native function description

Implicit conversion from a native to a non-native function description

Attributes

Generated with