XProcRoleDiagnostic

class XProcRoleDiagnostic(kind: Int, operation: String, operand: Int, errorCode: String? = null) : RoleDiagnostic(source)

Constructors

Link copied to clipboard
constructor(kind: Int, operation: String, operand: Int, errorCode: String? = null)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val kkind: Int
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open fun composeErrorMessage(p0: ItemType, p1: ItemType): String
open fun composeErrorMessage(p0: ItemType, p1: UType): String
open fun composeErrorMessage(p0: ItemType, p1: Expression, p2: TypeHierarchy): String
open fun composeErrorMessage(p0: ItemType, p1: Item, p2: TypeHierarchy): String
Link copied to clipboard
open fun composeRequiredMessage(p0: ItemType): String
Link copied to clipboard
open override fun getMessage(): String
Link copied to clipboard
open fun isTypeError(): Boolean
Link copied to clipboard
open fun save(): String