common

3.1.1

common/org.jetbrains.lincheck.descriptors/MethodDescriptor

MethodDescriptor

data class MethodDescriptor(context: TraceContext, val classId: Int, val methodSignature: MethodSignature)

Constructors

MethodDescriptor

constructor(context: TraceContext, classId: Int, methodSignature: MethodSignature)

Properties

val argumentTypes: List<Types.Type>

val classId: Int

val className: String

var isIntrinsic: Boolean

val methodName: String

methodSignature

val methodSignature: MethodSignature

val returnType: Types.Type

Functions

isArraysCopyOfIntrinsic

fun MethodDescriptor.isArraysCopyOfIntrinsic(): Boolean

isArraysCopyOfRangeIntrinsic

fun MethodDescriptor.isArraysCopyOfRangeIntrinsic(): Boolean

isTrackedIntrinsic

fun MethodDescriptor.isTrackedIntrinsic(): Boolean

open override fun toString(): String