Dmitry Savvinov
5ab79a111d
This is needed for further commit, which supports contracts-based smartcasts in partial body resolve mode. NB: Stubs can be built from 3 sources: - source code (contract presence can be checked by PSI) - binary data (contract presence can be checked by Kotlin Metadata) - decompiled sources The last case is a bit of a headache, because usually bodies are omitted in decompiled sources. To workaround it, we have to inject stubbed contract-call in the body.
134 lines
6.2 KiB
Plaintext
Vendored
134 lines
6.2 KiB
Plaintext
Vendored
PsiJetFileStubImpl[package=foo.TopLevelMembers]
|
|
PACKAGE_DIRECTIVE
|
|
DOT_QUALIFIED_EXPRESSION
|
|
REFERENCE_EXPRESSION[referencedName=foo]
|
|
REFERENCE_EXPRESSION[referencedName=TopLevelMembers]
|
|
IMPORT_LIST
|
|
PROPERTY[fqName=foo.TopLevelMembers.certainlyNothing, hasDelegate=false, hasDelegateExpression=false, hasInitializer=false, hasReturnTypeRef=true, isExtension=false, isTopLevel=true, isVar=false, name=certainlyNothing]
|
|
MODIFIER_LIST[private]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Nothing]
|
|
PROPERTY[fqName=foo.TopLevelMembers.immutable, hasDelegate=false, hasDelegateExpression=false, hasInitializer=false, hasReturnTypeRef=true, isExtension=false, isTopLevel=true, isVar=false, name=immutable]
|
|
MODIFIER_LIST[public]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Double]
|
|
PROPERTY[fqName=foo.TopLevelMembers.mutable, hasDelegate=false, hasDelegateExpression=false, hasInitializer=false, hasReturnTypeRef=true, isExtension=false, isTopLevel=true, isVar=true, name=mutable]
|
|
MODIFIER_LIST[public]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Float]
|
|
PROPERTY[fqName=foo.TopLevelMembers.ext, hasDelegate=false, hasDelegateExpression=false, hasInitializer=false, hasReturnTypeRef=true, isExtension=true, isTopLevel=true, isVar=false, name=ext]
|
|
MODIFIER_LIST[public]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=String]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=String]
|
|
FUN[fqName=foo.TopLevelMembers.funWithBlockBody, hasBlockBody=true, hasBody=true, hasTypeParameterListBeforeFunctionName=false, isExtension=false, isTopLevel=true, mayHaveContract=false, name=funWithBlockBody]
|
|
MODIFIER_LIST[public]
|
|
VALUE_PARAMETER_LIST
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Unit]
|
|
FUN[fqName=foo.TopLevelMembers.funWithExprBody, hasBlockBody=true, hasBody=true, hasTypeParameterListBeforeFunctionName=false, isExtension=false, isTopLevel=true, mayHaveContract=false, name=funWithExprBody]
|
|
MODIFIER_LIST[private]
|
|
VALUE_PARAMETER_LIST
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
FUN[fqName=foo.TopLevelMembers.funWithParams, hasBlockBody=true, hasBody=true, hasTypeParameterListBeforeFunctionName=false, isExtension=false, isTopLevel=true, mayHaveContract=false, name=funWithParams]
|
|
MODIFIER_LIST[private]
|
|
VALUE_PARAMETER_LIST
|
|
VALUE_PARAMETER[fqName=null, hasDefaultValue=false, hasValOrVar=false, isMutable=false, name=c]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Unit]
|
|
FUN[fqName=foo.TopLevelMembers.funWithVarargParam, hasBlockBody=true, hasBody=true, hasTypeParameterListBeforeFunctionName=false, isExtension=false, isTopLevel=true, mayHaveContract=false, name=funWithVarargParam]
|
|
MODIFIER_LIST[private]
|
|
VALUE_PARAMETER_LIST
|
|
VALUE_PARAMETER[fqName=null, hasDefaultValue=false, hasValOrVar=false, isMutable=false, name=c]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
VALUE_PARAMETER[fqName=null, hasDefaultValue=false, hasValOrVar=false, isMutable=false, name=v]
|
|
MODIFIER_LIST[vararg]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Unit]
|
|
FUN[fqName=foo.TopLevelMembers.probablyNothing, hasBlockBody=true, hasBody=true, hasTypeParameterListBeforeFunctionName=false, isExtension=false, isTopLevel=true, mayHaveContract=false, name=probablyNothing]
|
|
MODIFIER_LIST[private]
|
|
VALUE_PARAMETER_LIST
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=foo]
|
|
REFERENCE_EXPRESSION[referencedName=TopLevelMembers]
|
|
REFERENCE_EXPRESSION[referencedName=Nothing]
|
|
FUN[fqName=foo.TopLevelMembers.ext, hasBlockBody=true, hasBody=true, hasTypeParameterListBeforeFunctionName=false, isExtension=true, isTopLevel=true, mayHaveContract=false, name=ext]
|
|
MODIFIER_LIST[public]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
VALUE_PARAMETER_LIST
|
|
VALUE_PARAMETER[fqName=null, hasDefaultValue=false, hasValOrVar=false, isMutable=false, name=i]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=kotlin]
|
|
REFERENCE_EXPRESSION[referencedName=Int]
|
|
TYPEALIAS[fqName=foo.TopLevelMembers.Alias, isTopLevel=true, name=Alias]
|
|
MODIFIER_LIST[private]
|
|
TYPE_PARAMETER_LIST
|
|
TYPE_PARAMETER[fqName=null, isInVariance=false, isOutVariance=false, name=E]
|
|
TYPE_REFERENCE
|
|
FUNCTION_TYPE
|
|
VALUE_PARAMETER_LIST
|
|
VALUE_PARAMETER[fqName=null, hasDefaultValue=false, hasValOrVar=false, isMutable=false, name=null]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=E]
|
|
TYPE_REFERENCE
|
|
USER_TYPE
|
|
REFERENCE_EXPRESSION[referencedName=E]
|