Jinseong Jeon
47 lines
1.3 KiB
Plaintext
Vendored
47 lines
1.3 KiB
Plaintext
Vendored
KtFunctionSymbol:
|
|
annotationsList: [
|
|
kotlin/OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
|
|
psi: KtAnnotationEntry
|
|
]
|
|
callableIdIfNonLocal: /booleanConstReferenceInImplies
|
|
contextReceivers: []
|
|
contractEffects: [
|
|
KtContractConditionalContractEffectDeclaration:
|
|
effect:
|
|
KtContractReturnsSpecificValueEffectDeclaration:
|
|
value:
|
|
KtContractConstantValue:
|
|
constantType: TRUE
|
|
condition:
|
|
KtContractBooleanConstantExpression:
|
|
booleanConstant: true
|
|
]
|
|
hasStableParameterNames: true
|
|
isActual: false
|
|
isBuiltinFunctionInvoke: false
|
|
isExpect: false
|
|
isExtension: false
|
|
isExternal: false
|
|
isInfix: false
|
|
isInline: false
|
|
isOperator: false
|
|
isOverride: false
|
|
isStatic: false
|
|
isSuspend: false
|
|
modality: FINAL
|
|
name: booleanConstReferenceInImplies
|
|
origin: SOURCE
|
|
receiverParameter: null
|
|
returnType: KtUsualClassType:
|
|
annotationsList: []
|
|
ownTypeArguments: []
|
|
type: kotlin/Boolean
|
|
symbolKind: TOP_LEVEL
|
|
typeParameters: []
|
|
valueParameters: []
|
|
visibility: Public
|
|
getContainingFileSymbol: KtFileSymbol(booleanConstReferenceInImplies.kt)
|
|
getContainingJvmClassName: BooleanConstReferenceInImpliesKt
|
|
getContainingModule: KtSourceModule "Sources of main"
|
|
deprecationStatus: null
|