Example 6 with FunctionTypeRef
use of org.eclipse.n4js.ts.typeRefs.FunctionTypeRef in project n4js by eclipse.
the class InternalTypeSystem method applyRuleUpperBoundFunctionTypeRef.
protected Result<TypeRef> applyRuleUpperBoundFunctionTypeRef(final RuleEnvironment G, final RuleApplicationTrace _trace_, final FunctionTypeRef F) throws RuleFailedException {
// output parameter
TypeRef T = null;
T = this.applyRuleUpperBoundFunctionTypeExprOrRef(G, _trace_, F).getValue();
return new Result<TypeRef>(T);
}
Also used :
ThisTypeRef(org.eclipse.n4js.ts.typeRefs.ThisTypeRef)
ParameterizedTypeRef(org.eclipse.n4js.ts.typeRefs.ParameterizedTypeRef)
BaseTypeRef(org.eclipse.n4js.ts.typeRefs.BaseTypeRef)
FunctionTypeRef(org.eclipse.n4js.ts.typeRefs.FunctionTypeRef)
ExistentialTypeRef(org.eclipse.n4js.ts.typeRefs.ExistentialTypeRef)
BoundThisTypeRef(org.eclipse.n4js.ts.typeRefs.BoundThisTypeRef)
StructuralTypeRef(org.eclipse.n4js.ts.typeRefs.StructuralTypeRef)
TypeRef(org.eclipse.n4js.ts.typeRefs.TypeRef)
TypeTypeRef(org.eclipse.n4js.ts.typeRefs.TypeTypeRef)
StaticBaseTypeRef(org.eclipse.n4js.ts.typeRefs.StaticBaseTypeRef)
ComposedTypeRef(org.eclipse.n4js.ts.typeRefs.ComposedTypeRef)
UnknownTypeRef(org.eclipse.n4js.ts.typeRefs.UnknownTypeRef)
Result(org.eclipse.xsemantics.runtime.Result)
StructuralTypingResult(org.eclipse.n4js.typesystem.StructuralTypingResult)
Aggregations
BaseTypeRef (org.eclipse.n4js.ts.typeRefs.BaseTypeRef)6
BoundThisTypeRef (org.eclipse.n4js.ts.typeRefs.BoundThisTypeRef)6
ComposedTypeRef (org.eclipse.n4js.ts.typeRefs.ComposedTypeRef)6
ExistentialTypeRef (org.eclipse.n4js.ts.typeRefs.ExistentialTypeRef)6
FunctionTypeRef (org.eclipse.n4js.ts.typeRefs.FunctionTypeRef)6
ParameterizedTypeRef (org.eclipse.n4js.ts.typeRefs.ParameterizedTypeRef)6
StructuralTypeRef (org.eclipse.n4js.ts.typeRefs.StructuralTypeRef)6
ThisTypeRef (org.eclipse.n4js.ts.typeRefs.ThisTypeRef)6
TypeRef (org.eclipse.n4js.ts.typeRefs.TypeRef)6
TypeTypeRef (org.eclipse.n4js.ts.typeRefs.TypeTypeRef)6
StaticBaseTypeRef (org.eclipse.n4js.ts.typeRefs.StaticBaseTypeRef)5
UnknownTypeRef (org.eclipse.n4js.ts.typeRefs.UnknownTypeRef)5
StructuralTypingResult (org.eclipse.n4js.typesystem.StructuralTypingResult)3
Result (org.eclipse.xsemantics.runtime.Result)3
EObject (org.eclipse.emf.ecore.EObject)2
TypeArgument (org.eclipse.n4js.ts.typeRefs.TypeArgument)2
ErrorInformation (org.eclipse.xsemantics.runtime.ErrorInformation)2
RuleApplicationTrace (org.eclipse.xsemantics.runtime.RuleApplicationTrace)2
RuleFailedException (org.eclipse.xsemantics.runtime.RuleFailedException)2
DeferredTypeRef (org.eclipse.n4js.ts.typeRefs.DeferredTypeRef)1
