http://www.eclipse.org/jdt: Java Development Tools Core (Eclipse Foundation) 
abstract class org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula extends org.eclipse.jdt.internal.compiler.lookup.ReductionResult
  minor version: 0
  major version: 59
  flags: flags: (0x0420) ACC_SUPER, ACC_ABSTRACT
  this_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
  super_class: org.eclipse.jdt.internal.compiler.lookup.ReductionResult
{
  static final java.util.List<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> EMPTY_VARIABLE_LIST;
    descriptor: Ljava/util/List;
    flags: (0x0018) ACC_STATIC, ACC_FINAL
    Signature: Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;

  static final org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] NO_CONSTRAINTS;
    descriptor: [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
    flags: (0x0018) ACC_STATIC, ACC_FINAL

  static final char LEFT_ANGLE_BRACKET;
    descriptor: C
    flags: (0x0018) ACC_STATIC, ACC_FINAL
    ConstantValue: 10216

  static final char RIGHT_ANGLE_BRACKET;
    descriptor: C
    flags: (0x0018) ACC_STATIC, ACC_FINAL
    ConstantValue: 10217

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 29
            invokestatic java.util.Collections.emptyList:()Ljava/util/List;
            putstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
         1: .line 30
            iconst_0
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
            putstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.NO_CONSTRAINTS:[Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
         2: .line 34
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  void <init>();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
         0: .line 27
            aload 0 /* this */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ReductionResult.<init>:()V
            return
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;

  public abstract java.lang.Object reduce(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    Exceptions:
      throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
    MethodParameters:
                  Name  Flags
      inferenceContext  

  java.util.Collection<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> inputVariables(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
    flags: (0x0000) 
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
         0: .line 39
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
            areturn
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    1     0     this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
            0    1     1  context  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
    Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
    MethodParameters:
         Name  Flags
      context  

  java.util.Collection<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> outputVariables(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
    flags: (0x0000) 
    Code:
      stack=3, locals=3, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
         0: .line 43
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 2 /* variables */
        start local 2 // java.util.Set variables
         1: .line 44
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
         2: .line 45
            aload 2 /* variables */
            invokeinterface java.util.Set.isEmpty:()Z
            ifne 4
         3: .line 46
            aload 2 /* variables */
            aload 0 /* this */
            aload 1 /* context */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
            invokeinterface java.util.Set.removeAll:(Ljava/util/Collection;)Z
            pop
         4: .line 47
      StackMap locals: java.util.Set
      StackMap stack:
            aload 2 /* variables */
            areturn
        end local 2 // java.util.Set variables
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    5     0       this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
            0    5     1    context  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            1    5     2  variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
    Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
    MethodParameters:
         Name  Flags
      context  

  public boolean applySubstitution(org.eclipse.jdt.internal.compiler.lookup.BoundSet, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=6, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] variables
         0: .line 51
            iconst_0
            istore 3 /* i */
        start local 3 // int i
         1: goto 8
         2: .line 52
      StackMap locals: int
      StackMap stack:
            aload 2 /* variables */
            iload 3 /* i */
            aaload
            astore 4 /* variable */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable variable
         3: .line 53
            aload 1 /* solutionSet */
            aload 2 /* variables */
            iload 3 /* i */
            aaload
            aconst_null
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.getInstantiation:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 5 /* instantiation */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding instantiation
         4: .line 54
            aload 5 /* instantiation */
            ifnonnull 6
         5: .line 55
            iconst_0
            ireturn
         6: .line 56
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 4 /* variable */
            aload 5 /* instantiation */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.substituteInferenceVariable:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding instantiation
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable variable
         7: .line 51
            iinc 3 /* i */ 1
      StackMap locals:
      StackMap stack:
         8: iload 3 /* i */
            aload 2 /* variables */
            arraylength
            if_icmplt 2
        end local 3 // int i
         9: .line 58
            iconst_1
            ireturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] variables
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   10     0           this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
            0   10     1    solutionSet  Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            0   10     2      variables  [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            1    9     3              i  I
            3    7     4       variable  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            4    7     5  instantiation  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
             Name  Flags
      solutionSet  
      variables    

  protected void appendTypeName(java.lang.StringBuffer, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
    descriptor: (Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=2, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
        start local 1 // java.lang.StringBuffer buf
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
         0: .line 63
            aload 2 /* type */
            instanceof org.eclipse.jdt.internal.compiler.lookup.CaptureBinding18
            ifeq 2
         1: .line 64
            aload 1 /* buf */
            aload 2 /* type */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
            pop
            goto 3
         2: .line 66
      StackMap locals:
      StackMap stack:
            aload 1 /* buf */
            aload 2 /* type */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.readableName:()[C
            invokevirtual java.lang.StringBuffer.append:([C)Ljava/lang/StringBuffer;
            pop
         3: .line 67
      StackMap locals:
      StackMap stack:
            return
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        end local 1 // java.lang.StringBuffer buf
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
            0    4     1   buf  Ljava/lang/StringBuffer;
            0    4     2  type  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
      Name  Flags
      buf   
      type  
}
SourceFile: "ConstraintFormula.java"