/*
 * Copyright 2003-2012 JetBrains s.r.o.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package jetbrains.mps.newTypesystem.context.typechecking;

import jetbrains.mps.newTypesystem.context.component.HoleTypecheckingComponent;
import jetbrains.mps.newTypesystem.state.HoleState;
import jetbrains.mps.smodel.IOperationContext;
import jetbrains.mps.typesystem.inference.TypeCheckingContext;
import jetbrains.mps.util.Cancellable;
import org.jetbrains.mps.openapi.model.SNode;
import jetbrains.mps.typesystem.inference.InequalitySystem;

import java.util.Collections;

/**
 * User: fyodor
 * Date: 12/3/12
 */
public class HoleTypechecking extends BaseTypechecking<HoleState, HoleTypecheckingComponent> {

  public HoleTypechecking(SNode node, HoleState state) {
    super(node, state);
  }

  @Override
  protected HoleTypecheckingComponent createTypecheckingComponent() {
    return new HoleTypecheckingComponent(getState(), this);
  }

  public InequalitySystem computeInequalitiesForHole(SNode hole, boolean holeIsAType) {
    HoleState state = getState();
    if (state == null) return null;
    try {
      state.initHole(hole);
      computeTypesForNode_special(hole.getParent(), Collections.singleton(hole));
      state.getInequalitySystem().expandAll(state.getEquations());
      /* for (String s : state.getInequalitySystem().getPresentation()) {
         System.out.println(s);
       } */
      return state.getInequalitySystem();
    } finally {
      state.disposeHole();
    }
  }

  @Override
  public boolean applyNonTypesystemRulesToRoot(TypeCheckingContext typeCheckingContext, Cancellable c) {
    // do nothing
    return false;
  }
}
