Home
last modified time | relevance | path

Searched refs:NewSubstitution (Results 1 - 12 of 12) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/checker/ets/
H A Dfunction_helpers.h120 Substitution *substitution = checker->NewSubstitution(); in BuildImplicitSubstitutionForArguments()
159 auto *substitution = checker->NewSubstitution(); in BuildExplicitSubstitutionForArguments()
160 auto *constraintsSubstitution = checker->NewSubstitution(); in BuildExplicitSubstitutionForArguments()
H A DtypeRelationContext.cpp160 auto *substitution = checker_->NewSubstitution(); in InstantiateType()
H A DtypeCreation.cpp660 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType()
672 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType()
H A Dfunction.cpp1504 auto *substitution = NewSubstitution(); in AdjustForTypeParameters()
H A Dhelpers.cpp1242 auto *aliasSub = NewSubstitution(); in HandleTypeAlias()
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/
H A DgenericBridgesLowering.cpp199 substitutions.derivedConstraints = checker->NewSubstitution(); in CreateGenericBridges()
250 substitutions.derivedSubstitutions = checker->NewSubstitution(); in ProcessClassDefinition()
251 substitutions.baseConstraints = checker->NewSubstitution(); in ProcessClassDefinition()
H A DlambdaLowering.cpp103 auto *substitution = checker->NewSubstitution(); in CloneTypeParams()
/arkcompiler/ets_frontend/ets2panda/checker/types/ets/
H A DetsFunctionType.cpp99 auto *substitution = relation->GetChecker()->AsETSChecker()->NewSubstitution(); in ProcessSignatures()
H A DetsObjectType.cpp899 auto *effectiveSubstitution = checker->NewSubstitution(); in ComputeEffectiveSubstitution()
1020 auto *substitution = checker->NewSubstitution(); in SubstituteArguments()
/arkcompiler/ets_frontend/ets2panda/checker/
H A DETSchecker.cpp504 auto *substitution = NewSubstitution(); in GlobalBuiltinBoxType()
H A DETSAnalyzer.cpp322 auto *substitution = checker->NewSubstitution(); in Check()
357 checker::Substitution *substitution = checker->NewSubstitution(); in Check()
H A DETSchecker.h364 Substitution *NewSubstitution() in NewSubstitution() function in ark::es2panda::ark::es2panda::ark::es2panda::checker::final

Completed in 23 milliseconds