/*
 * Copyright 2000-2014 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 com.intellij.codeInspection.bytecodeAnalysis;

final class Method {
  final String internalClassName;
  final String methodName;
  final String methodDesc;

  @Override
  public boolean equals(Object o) {
    if (this == o) return true;
    if (o == null || getClass() != o.getClass()) return false;
    Method method = (Method) o;
    return internalClassName.equals(method.internalClassName) && methodDesc.equals(method.methodDesc) && methodName.equals(method.methodName);
  }

  @Override
  public int hashCode() {
    int result = internalClassName.hashCode();
    result = 31 * result + methodName.hashCode();
    result = 31 * result + methodDesc.hashCode();
    return result;
  }

  Method(String internalClassName, String methodName, String methodDesc) {
    this.internalClassName = internalClassName;
    this.methodName = methodName;
    this.methodDesc = methodDesc;
  }

  @Override
  public String toString() {
    return internalClassName + ' ' + methodName + ' ' + methodDesc;
  }
}

enum Value {
  Bot, NotNull, Null, True, False, Top
}

interface Direction {
  static final int OUT_DIRECTION = 0;
  static final int IN_DIRECTION = 1;
  static final int INOUT_DIRECTION = 2;
  int directionId();
  int paramId();
  int valueId();
}

final class In implements Direction {
  final int paramIndex;

  In(int paramIndex) {
    this.paramIndex = paramIndex;
  }

  @Override
  public String toString() {
    return "In " + paramIndex;
  }

  @Override
  public boolean equals(Object o) {
    if (this == o) return true;
    if (o == null || getClass() != o.getClass()) return false;
    In in = (In) o;
    if (paramIndex != in.paramIndex) return false;
    return true;
  }

  @Override
  public int hashCode() {
    return paramIndex;
  }

  @Override
  public int directionId() {
    return IN_DIRECTION;
  }

  @Override
  public int paramId() {
    return paramIndex;
  }

  @Override
  public int valueId() {
    return 0;
  }
}

final class InOut implements Direction {
  final int paramIndex;
  final Value inValue;

  InOut(int paramIndex, Value inValue) {
    this.paramIndex = paramIndex;
    this.inValue = inValue;
  }

  @Override
  public boolean equals(Object o) {
    if (this == o) return true;
    if (o == null || getClass() != o.getClass()) return false;

    InOut inOut = (InOut) o;

    if (paramIndex != inOut.paramIndex) return false;
    if (inValue != inOut.inValue) return false;

    return true;
  }

  @Override
  public int hashCode() {
    int result = paramIndex;
    result = 31 * result + inValue.ordinal();
    return result;
  }

  @Override
  public String toString() {
    return "InOut " + paramIndex + " " + inValue.toString();
  }

  @Override
  public int directionId() {
    return INOUT_DIRECTION;
  }

  @Override
  public int paramId() {
    return paramIndex;
  }

  @Override
  public int valueId() {
    return inValue.ordinal();
  }
}

final class Out implements Direction {
  @Override
  public String toString() {
    return "Out";
  }

  @Override
  public int hashCode() {
    return 1;
  }

  @Override
  public boolean equals(Object obj) {
    return obj instanceof Out;
  }

  @Override
  public int directionId() {
    return OUT_DIRECTION;
  }

  @Override
  public int paramId() {
    return 0;
  }

  @Override
  public int valueId() {
    return 0;
  }
}

final class Key {
  final Method method;
  final Direction direction;
  final boolean stable;

  Key(Method method, Direction direction, boolean stable) {
    this.method = method;
    this.direction = direction;
    this.stable = stable;
  }

  @Override
  public boolean equals(Object o) {
    if (this == o) return true;
    if (o == null || getClass() != o.getClass()) return false;

    Key key = (Key) o;

    if (!direction.equals(key.direction)) return false;
    if (!method.equals(key.method)) return false;
    if (stable != key.stable) return false;
    return true;
  }

  @Override
  public int hashCode() {
    int result = method.hashCode();
    result = 31 * result + direction.hashCode();
    result = 31 * result + (stable ? 1 : 0);
    return result;
  }

  @Override
  public String toString() {
    return "" + method + ' ' + direction + ' ' + stable;
  }
}