common

3.1.1

common/org.jetbrains.lincheck.descriptors/Types

Types

object Types

Types

class ArrayType(val elementType: Types.Type) : Types.Type

class BooleanType : Types.Type

class ByteType : Types.Type

class CharType : Types.Type

class DoubleType : Types.Type

class FloatType : Types.Type

class IntType : Types.Type

class LongType : Types.Type

class MethodType(val argumentTypes: MutableList<Types.Type>, val returnType: Types.Type)

class ObjectType(val className: String) : Types.Type

class ShortType : Types.Type

sealed class Type

class VoidType : Types.Type

Properties

val BOOLEAN_TYPE: Types.BooleanType

val BYTE_TYPE: Types.ByteType

val CHAR_TYPE: Types.CharType

val DOUBLE_TYPE: Types.DoubleType

val FLOAT_TYPE: Types.FloatType

val INT_TYPE: Types.IntType

val LONG_TYPE: Types.LongType

val SHORT_TYPE: Types.ShortType

val VOID_TYPE: Types.VoidType

Functions

convertAsmMethodType

fun convertAsmMethodType(methodDesc: String): Types.MethodType

Parses each descriptor substring of the methodDesc, including the return type of the method.

fun isPrimitive(type: Types.Type?): Boolean