Esempio n. 1
0
  @Nullable
  /*package*/ SNode getTypeOf(final SNode node) {
    ModelAccess.assertLegalRead();
    if (node == null) return null;

    if (myTypeChecker.isGenerationMode()) {
      TypeCheckingContext context =
          myTypeChecker.hasPerformanceTracer()
              ? new TargetTypecheckingContext_Tracer(node, myTypeChecker)
              : new TargetTypecheckingContext(node, myTypeChecker);
      try {
        return context.getTypeOf_generationMode(node);
      } finally {
        context.dispose();
      }
    }
    // now we are not in generation mode

    final ITypeContextOwner contextOwner = myTypecheckingContextOwner.get();
    TypeCheckingContext context = acquireTypecheckingContext(node, contextOwner);
    if (context == null) {
      return TypesUtil.createRuntimeErrorType();
    }

    try {
      return context.getTypeOf(node, myTypeChecker);
    } finally {
      releaseTypecheckingContext(node, contextOwner);
    }
  }
Esempio n. 2
0
 public void runTypeCheckingAction(SNode node, ITypechecking.Action r) {
   final ITypeContextOwner contextOwner = myTypecheckingContextOwner.get();
   TypeCheckingContext context = acquireTypecheckingContext(node, contextOwner);
   try {
     r.run(context);
   } finally {
     releaseTypecheckingContext(node, contextOwner);
   }
 }
Esempio n. 3
0
 public <T> T runTypeCheckingComputation(
     @NotNull final ITypeContextOwner contextOwner, SNode node, Computation<T> r) {
   final ITypeContextOwner savedOwner = myTypecheckingContextOwner.get();
   myTypecheckingContextOwner.set(contextOwner);
   final SubtypingCache savedSubtypingCache = mySubtypingCache.get();
   mySubtypingCache.set(null);
   TypeCheckingContext context = acquireTypecheckingContext(node, contextOwner);
   try {
     return r.compute(context);
   } finally {
     releaseTypecheckingContext(node, contextOwner);
     myTypecheckingContextOwner.set(savedOwner);
     mySubtypingCache.set(savedSubtypingCache);
   }
 }
Esempio n. 4
0
 public void runTypeCheckingAction(
     @NotNull final ITypeContextOwner contextOwner, SNode node, ITypechecking.Action r) {
   final ITypeContextOwner savedOwner = myTypecheckingContextOwner.get();
   myTypecheckingContextOwner.set(contextOwner);
   final SubtypingCache savedSubtypingCache = mySubtypingCache.get();
   mySubtypingCache.set(null);
   TypeCheckingContext context = acquireTypecheckingContext(node, contextOwner);
   try {
     r.run(context);
   } finally {
     releaseTypecheckingContext(node, contextOwner);
     myTypecheckingContextOwner.set(savedOwner);
     mySubtypingCache.set(savedSubtypingCache);
   }
 }