mirah 0.1.0.pre-java → 0.1.1-java

data/test/jvm/string_test.rb

@@ -0,0 +1,41 @@
+# Copyright (c) 2013 The Mirah project authors. All Rights Reserved.
+# All contributing project authors may be found in the NOTICE file.
+#
+# 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.
+
+class StringTest < Test::Unit::TestCase
+
+  def test_string_concat
+    cls, = compile("
+      def str_str; a = 'a'; b = 'b'; a + b; end
+      def str_boolean; a = 'a'; b = false; a + b; end
+      def str_float; a = 'a'; b = float(1.0); a + b; end
+      def str_double; a = 'a'; b = 1.0; a + b; end
+      def str_byte; a = 'a'; b = byte(1); a + b; end
+      def str_short; a = 'a'; b = short(1); a + b; end
+      def str_char; a = 'a'; b = char(123); a + b; end
+      def str_int; a = 'a'; b = 1; a + b; end
+      def str_long; a = 'a'; b = long(1); a + b; end
+    ")
+    assert_equal("ab", cls.str_str)
+    assert_equal("afalse", cls.str_boolean)
+    assert_equal("a1.0", cls.str_float)
+    assert_equal("a1.0", cls.str_double)
+    assert_equal("a1", cls.str_byte)
+    assert_equal("a1", cls.str_short)
+    assert_equal("a{", cls.str_char)
+    assert_equal("a1", cls.str_int)
+    assert_equal("a1", cls.str_long)
+  end
+
+end

data/test/jvm/varargs_test.rb

@@ -0,0 +1,65 @@
+# Copyright (c) 2010 The Mirah project authors. All Rights Reserved.
+# All contributing project authors may be found in the NOTICE file.
+#
+# 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.
+
+class VarargsTest < Test::Unit::TestCase
+
+  def test_varargs_method_with_passed_varargs
+    cls, = compile(<<-EOF)
+      puts String.format("%s %s's", "rocking", "banana")
+    EOF
+    assert_output "rocking banana's\n" do
+      cls.main nil
+    end
+  end
+
+  def test_varargs_method_with_passed_including_int_varargs
+    cls, = compile(<<-EOF)
+      puts String.format("%s %d's", "rocking", 3)
+    EOF
+    assert_output "rocking 3's\n" do
+      cls.main nil
+    end
+  end
+
+  def test_varargs_method_with_passed_including_integer_varargs
+    cls, = compile(<<-EOF)
+      puts String.format("%s %d's", "rocking", Integer.valueOf(3))
+    EOF
+    assert_output "rocking 3's\n" do
+      cls.main nil
+    end
+  end
+
+  def test_varargs_method_lookup_without_passed_varargs
+    cls, = compile(<<-EOF)
+      puts String.format("rocking with no args")
+    EOF
+    assert_output "rocking with no args\n" do
+      cls.main nil
+    end
+  end
+
+  def test_varargs_method_lookup_when_passed_array
+    cls, = compile(<<-EOF)
+      args = String[1]
+      args[0] = "an array"
+      puts String.format("rocking with %s", args)
+    EOF
+    assert_output "rocking with an array\n" do
+      cls.main nil
+    end
+  end
+
+end

data/test/mirrors/base_type_test.rb

@@ -0,0 +1,96 @@
+# Copyright (c) 2010 The Mirah project authors. All Rights Reserved.
+# All contributing project authors may be found in the NOTICE file.
+#
+# 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.
+
+require 'test/unit'
+require 'mirah'
+
+class BaseTypeTest < Test::Unit::TestCase
+  java_import 'org.jruby.org.objectweb.asm.Type'
+  java_import 'org.jruby.org.objectweb.asm.Opcodes'
+  java_import 'org.mirah.jvm.mirrors.BaseType'
+  java_import 'org.mirah.jvm.mirrors.Member'
+  java_import 'org.mirah.jvm.mirrors.MirrorTypeSystem'
+  java_import 'org.mirah.jvm.types.MemberKind'
+  java_import 'mirah.lang.ast.TypeRefImpl'
+
+  def setup
+    @types = MirrorTypeSystem.new
+    @type = BaseType.new(@types.context, Type.getType("LFooBar;"), 0, nil)
+    @void = BaseType.new(@types.context, Type.getType("V"), 0, nil)
+  end
+
+  def type(name)
+    @types.get(nil, TypeRefImpl.new(name, false, false, nil)).resolve
+  end
+
+  def test_tostring
+    assert_equal("FooBar", @type.toString)
+  end
+
+  def test_assignableFrom
+    object = type('java.lang.Object')
+    map = type('java.util.Map')
+    hashmap = type('java.util.HashMap')
+    assert(object.assignableFrom(object))
+    assert(object.assignableFrom(map))
+    assert(object.assignableFrom(hashmap))
+    assert(!map.assignableFrom(object))
+    assert(map.assignableFrom(map))
+    assert(map.assignableFrom(hashmap))
+    assert(!hashmap.assignableFrom(object))
+    assert(!hashmap.assignableFrom(map))
+    assert(hashmap.assignableFrom(hashmap))
+  end
+
+  def test_primitive_widen
+    int = type('int')
+    long = type('long')
+    assert_equal(int, int.widen(int))
+    assert_equal(long, long.widen(long))
+    assert_equal(long, int.widen(long))
+    assert_equal(long, long.widen(int))
+  end
+
+  def test_object_widen
+    object = type('java.lang.Object')
+    map = type('java.util.Map')
+    hashmap = type('java.util.HashMap')
+    assert_equal(object, object.widen(object))
+    assert_equal(object, object.widen(map))
+    assert_equal(object, object.widen(hashmap))
+    assert_equal(object, map.widen(object))
+    assert_equal(map, map.widen(map))
+    assert_equal(map, map.widen(hashmap))
+    assert_equal(object, hashmap.widen(object))
+    assert_equal(map, hashmap.widen(map))
+    assert_equal(hashmap, hashmap.widen(hashmap))
+    
+    # TODO: test more complex widening, eg LinkedList.widen(ArrayList)
+  end
+
+  def test_box_widen
+    object = type('java.lang.Object')
+    int = type('int')
+    map = type('java.util.Map')
+    assert_equal(object, int.widen(map))
+    assert_equal(object, map.widen(int))
+  end
+
+  def test_widen_error
+    map = type('java.util.Map')
+    assert(@void.widen(map).isError)
+    assert(map.widen(@void).isError)
+  end
+end

data/test/mirrors/bytecode_mirror_test.rb

@@ -0,0 +1,86 @@
+# Copyright (c) 2010 The Mirah project authors. All Rights Reserved.
+# All contributing project authors may be found in the NOTICE file.
+#
+# 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.
+
+require 'test/unit'
+require 'mirah'
+
+class BytecodeMirrorTest < Test::Unit::TestCase
+  java_import 'org.jruby.org.objectweb.asm.Type'
+  java_import 'org.mirah.jvm.mirrors.ClassPath'
+  java_import 'org.mirah.jvm.mirrors.MirrorTypeSystem'
+  java_import 'org.mirah.jvm.types.JVMTypeUtils'
+
+  def setup
+    types = MirrorTypeSystem.new
+    @loader = types.context.get(ClassPath).bytecode_loader
+  end
+  
+  def test_parent
+    mirror = @loader.loadMirror(Type.getType("I"))
+    assert_equal("I", mirror.asm_type.descriptor)
+  end
+
+  def test_classloading
+    mirror = @loader.loadMirror(Type.getType("Ljava/lang/Object;"))
+    assert(!mirror.isError)
+    assert_equal("java.lang.Object", mirror.name)
+  end
+
+  def test_inner_class
+    mirror = @loader.loadMirror(Type.getType("Ljava/util/Map/Entry;"))
+    assert(!mirror.isError)
+    assert_equal("java.util.Map$Entry", mirror.name)
+  end
+
+  def test_superclass
+    mirror = @loader.loadMirror(Type.getType("Ljava/lang/String;"))
+    assert(!mirror.isError)
+    assert_equal("java.lang.String", mirror.name)
+    
+    superclass = mirror.superclass
+    assert(!superclass.isError)
+    assert_equal("java.lang.Object", superclass.name)
+    assert_nil(superclass.superclass)
+  end
+
+  def test_interfaces
+    mirror = @loader.loadMirror(Type.getType("Ljava/lang/String;"))
+    interfaces = mirror.interfaces.map {|t| t.resolve.name}
+    assert_equal(['java.io.Serializable', 'java.lang.Comparable', 'java.lang.CharSequence'], interfaces)
+  end
+
+  def test_declared_field
+    mirror = @loader.loadMirror(Type.getType("Ljava/lang/String;"))
+    field = mirror.getDeclaredField('hash')
+    assert_equal(mirror, field.declaringClass)
+    assert_equal('hash', field.name)
+    assert_equal([], field.argumentTypes.to_a)
+    assert_equal('I', field.returnType.asm_type.descriptor)
+    assert(!field.isVararg)
+    assert(!field.isAbstract)
+    assert_equal('FIELD_ACCESS', field.kind.name)
+  end
+
+  def test_array
+    mirror = @loader.loadMirror(Type.getType("[Ljava/lang/Object;"))
+    assert(JVMTypeUtils.isArray(mirror))
+    assert_equal("Ljava/lang/Object;", mirror.getComponentType.asm_type.descriptor)
+  end
+
+  def test_retention
+    mirror = @loader.loadMirror(Type.getType("Ljava/lang/annotation/Retention;"))
+    assert_equal("RUNTIME", mirror.retention)
+  end
+end

data/test/mirrors/generics_test.rb

@@ -0,0 +1,776 @@
+# Copyright (c) 2010 The Mirah project authors. All Rights Reserved.
+# All contributing project authors may be found in the NOTICE file.
+#
+# 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.
+
+require 'java'
+require 'test/unit'
+require 'mirah'
+
+class GenericsTest < Test::Unit::TestCase
+  java_import 'java.util.HashSet'
+  java_import 'org.mirah.jvm.mirrors.generics.Constraints'
+  java_import 'org.mirah.jvm.mirrors.generics.LubFinder'
+  java_import 'org.mirah.jvm.mirrors.generics.TypeParameterInference'
+  java_import 'org.mirah.jvm.mirrors.generics.TypeVariable'
+  java_import 'org.mirah.jvm.mirrors.generics.TypeInvocation'
+  java_import 'org.mirah.jvm.mirrors.generics.Wildcard'
+  java_import 'org.mirah.jvm.mirrors.BaseType'
+  java_import 'org.mirah.jvm.mirrors.NullType'
+  java_import 'org.mirah.jvm.mirrors.MirrorTypeSystem'
+  java_import 'org.mirah.jvm.model.Cycle'
+  java_import 'org.mirah.jvm.model.IntersectionType'
+  java_import 'org.mirah.typer.BaseTypeFuture'
+  java_import 'org.jruby.org.objectweb.asm.Type'
+  java_import 'javax.lang.model.util.Types'
+
+  def setup
+    @types = MirrorTypeSystem.new
+    @type_utils = @types.context.get(Types.java_class)
+    @tpi = TypeParameterInference.new(@type_utils)
+    @object = type('java.lang.Object')
+  end
+
+  def set(param)
+    g('java.util.Set', [param])
+  end
+
+  def type(name)
+    if name.kind_of?(String)
+      @types.loadNamedType(name).resolve
+    else
+      name
+    end
+  end
+
+  def g(name, params)
+    klass = future(name)
+    params = params.map {|x| future(x)}
+    @types.parameterize(klass, params).resolve
+  end
+
+  def future(x)
+    future = BaseTypeFuture.new
+    future.resolved(type(x))
+    future
+  end
+
+  def typevar(name, bounds="java.lang.Object")
+    if bounds.kind_of?(String)
+      bounds = type(bounds)
+    end
+    TypeVariable.new(@types.context, name, bounds)
+  end
+
+  def assert_constraints(constraints, expected={})
+    expected_constraints = Constraints.new
+    if expected[:super]
+      expected[:super].each {|x| expected_constraints.addSuper(x)}
+    end
+    if expected[:equal]
+      expected[:equal].each {|x| expected_constraints.addEqual(x)}
+    end
+    if expected[:extends]
+      expected[:extends].each {|x| expected_constraints.addExtends(x)}
+    end
+    assert_equal(expected_constraints.toString, constraints.toString)
+  end
+
+  def test_null
+    a = NullType.new
+    f = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?=.ord, f, map)
+    assert_equal(0, constraints.size)
+    @tpi.processArgument(a, ?<.ord, f, map)
+    assert_equal(0, constraints.size)
+    @tpi.processArgument(a, ?>.ord, f, map)
+    assert_equal(0, constraints.size)
+  end
+
+  def test_extends_variable
+    a = @types.getStringType.resolve
+    f = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?<.ord, f, map)
+    assert_equal(1, constraints.size)
+    assert_equal(HashSet.new([a]), constraints.getSuper)
+  end
+
+  def test_extends_primitive
+    a = @types.getFixnumType(1).resolve
+    f = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?<.ord, f, map)
+    assert_equal(1, constraints.size)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.lang.Integer', c.name
+  end
+
+  def test_extends_array
+    a = @types.getArrayType(@types.getStringType.resolve)
+    s = typevar('S')
+    f = @types.getArrayType(s)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?<.ord, f, map)
+    assert_equal(1, constraints.size)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_extends_array_variable
+    a = typevar('T', @types.getArrayType(@types.getStringType.resolve))
+    s = typevar('S')
+    f = @types.getArrayType(s)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?<.ord, f, map)
+    assert_equal(1, constraints.size)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_extends_generic_no_wildcards
+    # A = Set<String[]>
+    a = set(@types.getArrayType(@types.getStringType.resolve))
+
+    # F = Set<S[]>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    f = set(@types.getArrayType(s))
+
+    @tpi.processArgument(a, ?<.ord, f, map)
+
+    # S = String
+    assert_equal(1, constraints.size)
+    c = constraints.getEqual.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_extends_f_generic_with_extends_wildcard_a_not_wildcard
+    # A = Set<String>
+    a = set(@types.getStringType.resolve)
+
+    # F = Set<? extends S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(s, nil))
+    
+    @tpi.processArgument(a, ?<.ord, f, map)
+    # S <: String
+    assert_equal(1, constraints.size, constraints.toString)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.lang.String', c.name
+    
+
+    # A = Set<Regex[]>
+    a = set(@types.getArrayType((@types.getRegexType.resolve)))
+
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    @tpi.processArgument(a, ?<.ord, f, map)
+    # S <: Regex[]
+    assert_equal(1, constraints.size)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.util.regex.Pattern[]', c.name, c.java_class
+
+    # F = Set<? extends S[]>
+    f = set(@type_utils.getWildcardType(@types.getArrayType(s), nil))
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?<.ord, f, map)
+
+    # S <: Regex
+    assert_equal(1, constraints.size)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.util.regex.Pattern', c.name
+    
+    # A has a supertype Set<Regex[]>
+    a = BaseType.new(nil, Type.getType('LFooBar;'), 0, a)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?<.ord, f, map)
+
+    # S <: Regex
+    assert_equal(1, constraints.size)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.util.regex.Pattern', c.name
+  end
+
+  def test_extends_f_and_a_are_generic_with_extends_wildcard
+    # A = Set<? extends String>
+    a = set(@type_utils.getWildcardType(@types.getStringType.resolve, nil))
+
+    # F = Set<? extends S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(s, nil))
+    
+    @tpi.processArgument(a, ?<.ord, f, map)
+    # S <: String
+    assert_equal(1, constraints.size, constraints.toString)
+    c = constraints.getSuper.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_extends_f_has_super_a_not_wildcard
+    # A has a supertype Set<String>
+    string = @types.getStringType.resolve
+    a = BaseType.new(nil, Type.getType('LFooBar;'), 0, set(string))
+
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    # F = Set<? super S>
+    f = set(@type_utils.getWildcardType(nil, s))
+    @tpi.processArgument(a, ?<.ord, f, map)
+
+    # S >: String
+    assert_constraints(constraints, :extends => [string])
+  end
+
+  def test_extends_f_has_super_a_has_extends
+    # A has a supertype Set<? extends String>
+    string = @types.getStringType.resolve
+    a = BaseType.new(nil, Type.getType('LFooBar;'), 0, set(@type_utils.getWildcardType(string, nil)))
+
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    # F = Set<? super S>
+    f = set(@type_utils.getWildcardType(nil, s))
+    @tpi.processArgument(a, ?<.ord, f, map)
+
+    # no constraints
+    assert_constraints(constraints)
+  end
+
+  def test_extends_f_and_a_have_super
+    # A has a supertype Set<? super String>
+    string = @types.getStringType.resolve
+    a = BaseType.new(nil, Type.getType('LFooBar;'), 0, set(@type_utils.getWildcardType(nil, string)))
+
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    # F = Set<? super S>
+    f = set(@type_utils.getWildcardType(nil, s))
+    @tpi.processArgument(a, ?<.ord, f, map)
+
+    # S >: String
+    assert_constraints(constraints, :extends => [string])
+  end
+
+  def test_null_type
+    assert_not_nil(@type_utils)
+    t = @type_utils.getNullType
+    assert_not_nil(t)
+    assert_equal 'NULL', t.getKind.name
+  end
+
+  def test_directSupertypes
+    set = @types.loadNamedType('java.util.Set').resolve
+    assert_equal(['java.util.Collection'], @type_utils.directSupertypes(set).map {|x| x.name})
+    
+    string = @types.loadNamedType('java.lang.String').resolve
+    assert_equal(
+        ['java.lang.Object', 'java.io.Serializable', 'java.lang.Comparable', 'java.lang.CharSequence'],
+         @type_utils.directSupertypes(string).map {|x| x.name})
+  end
+
+  def test_findMatchingSupertype
+    string = @types.loadNamedType('java.lang.String').resolve
+    assert_equal(string, @tpi.findMatchingSupertype(string, string))
+    cs = @types.loadNamedType('java.lang.CharSequence').resolve
+    assert_equal(cs, @tpi.findMatchingSupertype(string, cs))
+    abstract_list = @types.loadNamedType('java.util.AbstractList').resolve
+    assert_nil(@tpi.findMatchingSupertype(string, abstract_list))
+    
+    array_list = @types.loadNamedType('java.util.ArrayList').resolve
+    assert_equal(abstract_list, @tpi.findMatchingSupertype(array_list, abstract_list))
+  end
+
+  def test_equal_variable
+    a = @types.getStringType.resolve
+    f = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?=.ord, f, map)
+    assert_equal(1, constraints.size)
+    assert_equal(HashSet.new([a]), constraints.getEqual)
+  end
+
+
+  def test_equal_array
+    a = @types.getArrayType(@types.getStringType.resolve)
+    s = typevar('S')
+    f = @types.getArrayType(s)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?=.ord, f, map)
+    assert_equal(1, constraints.size)
+    c = constraints.getEqual.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_equal_array_variable
+    a = typevar('T', @types.getArrayType(@types.getStringType.resolve))
+    s = typevar('S')
+    f = @types.getArrayType(s)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?=.ord, f, map)
+    assert_equal(1, constraints.size)
+    c = constraints.getEqual.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_equal_generic_no_wildcards
+    # A = Set<String[]>
+    a = set(@types.getArrayType(@types.getStringType.resolve))
+
+    # F = Set<S[]>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    f = set(@types.getArrayType(s))
+
+    @tpi.processArgument(a, ?=.ord, f, map)
+
+    # S = String
+    assert_equal(1, constraints.size)
+    c = constraints.getEqual.iterator.next
+    assert_equal 'java.lang.String', c.name
+  end
+
+  def test_equal_f_and_a_are_generic_with_extends_wildcard
+    # A = Set<? extends String>
+    string = @types.getStringType.resolve
+    a = set(@type_utils.getWildcardType(string, nil))
+
+    # F = Set<? extends S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(s, nil))
+    
+    @tpi.processArgument(a, ?=.ord, f, map)
+    assert_constraints(constraints, :equal => [string])
+    assert_equal(1, constraints.size, constraints.toString)
+    c = constraints.getEqual.iterator.next
+    assert_equal 'java.lang.String', c.name
+    
+
+    # A = Set<Regex[]>
+    re = @types.getRegexType.resolve
+    re_array = @types.getArrayType(re)
+    a = set(@type_utils.getWildcardType(re_array, nil))
+
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    @tpi.processArgument(a, ?=.ord, f, map)
+    # S = Regex[]
+    assert_constraints(constraints, :equal => [re_array])
+
+    # F = Set<? extends S[]>
+    f = set(@type_utils.getWildcardType(@types.getArrayType(s), nil))
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?=.ord, f, map)
+
+    # S = Regex
+    assert_constraints(constraints, :equal => [re])
+    
+    # A has a supertype Set<Regex[]>
+    a = BaseType.new(nil, Type.getType('LFooBar;'), 0, a)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?=.ord, f, map)
+
+    # No constraint
+    assert_constraints(constraints)
+  end
+
+  def test_equal_f_generic_with_extends_wildcard_a_not_wildcard
+    # A = Set<String>
+    a = set(@types.getStringType.resolve)
+
+    # F = Set<? extends S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(s, nil))
+    
+    @tpi.processArgument(a, ?=.ord, f, map)
+    # No constraints
+    assert_constraints(constraints)
+  end
+
+  def test_equal_f_generic_with_super
+    # A = Set<String>
+    a = set(@types.getStringType.resolve)
+
+    # F = Set<? super S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(nil, s))
+    
+    @tpi.processArgument(a, ?=.ord, f, map)
+    # No constraints
+    assert_constraints(constraints)
+
+    # A = Set<? super String>
+    string = @types.getStringType.resolve
+    a = set(@type_utils.getWildcardType(nil, string))
+    @tpi.processArgument(a, ?=.ord, f, map)
+
+    # S = String
+    assert_constraints(constraints, :equal => [string])
+  end
+
+
+  def test_super_variable
+    a = @types.getStringType.resolve
+    f = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?>.ord, f, map)
+    # T <: A
+    assert_constraints(constraints, :extends => [a])
+  end
+
+  def test_super_array
+    a = @types.getArrayType(@types.getStringType.resolve)
+    s = typevar('S')
+    f = @types.getArrayType(s)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?>.ord, f, map)
+    assert_constraints(constraints, :extends => [a.getComponentType])
+  end
+
+  def test_super_array_variable
+    string = @types.getStringType.resolve
+    a = typevar('T', @types.getArrayType(string))
+    s = typevar('S')
+    f = @types.getArrayType(s)
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?>.ord, f, map)
+    assert_constraints(constraints, :extends => [string])
+  end
+
+  def test_super_generic_no_wildcards
+    # A = Set<String[]>
+    string = @types.getStringType.resolve
+    str_array = a = set(@types.getArrayType(string))
+
+    # F = Set<S[]>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    f = set(@types.getArrayType(s))
+
+    @tpi.processArgument(a, ?>.ord, f, map)
+
+    # S = String
+    assert_constraints(constraints, :equal => [string])
+
+    # A = Set<? extends String>
+    a = set(@type_utils.getWildcardType(string, nil))
+
+    # F has supertype Set<String>
+    f = BaseType.new(nil, Type.getType("LFooBar;"), 0, set(s))
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?>.ord, f, map)
+    assert_constraints(constraints, :extends => [string])
+
+    # A = Set<? super String>
+    a = set(@type_utils.getWildcardType(nil, string))
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?>.ord, f, map)
+    assert_constraints(constraints, :super => [string])
+  end
+
+  def test_super_f_and_a_are_generic_with_extends_wildcard
+    # A = Set<? extends String>
+    string = @types.getStringType.resolve
+    a = set(@type_utils.getWildcardType(string, nil))
+
+    # F = Set<? extends S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(s, nil))
+
+    @tpi.processArgument(a, ?>.ord, f, map)
+    assert_constraints(constraints, :extends => [string])
+
+    # A = Set<Regex[]>
+    re = @types.getRegexType.resolve
+    re_array = @types.getArrayType(re)
+    a = set(@type_utils.getWildcardType(re_array, nil))
+
+    constraints = Constraints.new
+    map = {'S' => constraints}
+
+    @tpi.processArgument(a, ?>.ord, f, map)
+    # S = Regex[]
+    assert_constraints(constraints, :extends => [re_array])
+
+    # F = Set<? extends S[]>
+    f = set(@type_utils.getWildcardType(@types.getArrayType(s), nil))
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    @tpi.processArgument(a, ?>.ord, f, map)
+
+    # S = Regex
+    assert_constraints(constraints, :extends => [re])
+  end
+
+  def test_super_f_generic_with_extends_wildcard_a_not_wildcard
+    # A = Set<String>
+    a = set(@types.getStringType.resolve)
+
+    # F = Set<? extends S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(s, nil))
+
+    @tpi.processArgument(a, ?>.ord, f, map)
+    # No constraints
+    assert_constraints(constraints)
+  end
+
+  def test_super_f_generic_with_super
+    # A = Set<String>
+    a = set(@types.getStringType.resolve)
+
+    # F = Set<? super S>
+    s = typevar('S')
+    constraints = Constraints.new
+    map = {'S' => constraints}
+    f = set(@type_utils.getWildcardType(nil, s))
+
+    @tpi.processArgument(a, ?>.ord, f, map)
+    # No constraints
+    assert_constraints(constraints)
+
+    # A = Set<? super String>
+    string = @types.getStringType.resolve
+    a = set(@type_utils.getWildcardType(nil, string))
+    @tpi.processArgument(a, ?>.ord, f, map)
+
+    # S = String
+    assert_constraints(constraints, :super => [string])
+  end
+
+  def test_multi_generic
+    klass = BaseType.new(nil, Type.getType("LFooBar;"), 0, nil)
+    string = @types.getStringType
+    a = TypeInvocation.new(nil, klass, future(klass.superclass), klass.interfaces,
+        [string, string, string], {})
+    
+    r = typevar('R')
+    s = typevar('S')
+    t = typevar('T')
+    
+    f = TypeInvocation.new(nil, klass, future(klass.superclass), klass.interfaces,
+        [future(r), future(@type_utils.getWildcardType(s, nil)), future(@type_utils.getWildcardType(nil, t))], {})
+    rc = Constraints.new
+    sc = Constraints.new
+    tc = Constraints.new
+    map = {'R' => rc, 'S' => sc, 'T' => tc}
+    @tpi.processArgument(a, ?<.ord, f, map)
+    string = string.resolve
+    assert_constraints(rc, :equal => [string])
+    assert_constraints(sc, :super => [string])
+    assert_constraints(tc, :extends => [string])
+  end
+
+  def test_cycle
+    klass = BaseType.new(nil, Type.getType("LFooBar;"), 0, nil)
+    cycle = Cycle.new
+    a = TypeInvocation.new(nil, klass, future(klass.superclass), klass.interfaces, [future(cycle)], {})
+    cycle.target_set(a)
+    assert_equal("FooBar<FooBar<FooBar<...>>>", a.toString)
+  end
+
+  def test_erasure
+    t = @types.getFixnumType(0).resolve
+    assert_same(t, @type_utils.erasure(t))
+    t = @types.getStringType.resolve
+    assert_same(t, @type_utils.erasure(t))
+    t = @types.getArrayType(t)
+    assert_equal(t.toString, @type_utils.erasure(t).toString)
+    t = set(t)
+    assert_equal("java.util.Set<java.lang.String[]>", t.toString)
+    e = @type_utils.erasure(t)
+    assert_not_same(t, e)
+    assert_equal([], e.type_arguments.to_a)
+    assert_equal("java.util.Set", e.toString)
+    t = @type_utils.getArrayType(t)
+    assert_equal("java.util.Set<java.lang.String[]>[]", t.toString)
+    e = @type_utils.erasure(t)
+    assert_equal("java.util.Set[]", e.toString)
+    t = IntersectionType.new(@types.context,
+                             [type('java.io.Serializable'),
+                              type('java.lang.CharSequence')])
+    e = @type_utils.erasure(t)
+    assert_equal(type('java.io.Serializable'), e, e.toString)
+    t = IntersectionType.new(@types.context,
+                             [type('java.io.Serializable'),
+                              type('java.util.AbstractMap')])
+    e = @type_utils.erasure(t)
+    assert_equal(type('java.util.AbstractMap'), e)
+    t = typevar("S")
+    e = @type_utils.erasure(t)
+    assert_equal(type('java.lang.Object'), e, e.toString)
+    t = typevar("S", 'java.lang.Iterable')
+    e = @type_utils.erasure(t)
+    assert_equal(type('java.lang.Iterable'), e, e.toString)
+  end
+
+  def test_generic_array_supertype
+    s = set(type('java.lang.String'))
+    a = @types.getArrayType(s)
+    assert_equal('java.util.Set<java.lang.String>[]', a.toString)
+    supertypes = a.directSupertypes
+    assert_equal('[java.util.Set[], java.util.Collection<java.lang.String>[]]',
+                 supertypes.toString)
+
+  end
+
+  def test_type_invocation
+    a = set(type('java.lang.String'))
+    b = type('java.util.Set')
+    assert(b.isSupertypeOf(a))
+    # Set<E> isn't really a supertype of Set, but we allow it to make unchecked conversion work.
+    # assert(!a.isSupertypeOf(b))
+    assert(b.isSupertypeOf(b))
+    assert(b.isSameType(b))
+    assert(!b.isSameType(a))
+    assert(!a.isSameType(b))
+    
+    c = set(type('java.lang.CharSequence'))
+    assert(c.isSupertypeOf(a))
+    assert(!a.isSupertypeOf(c))
+    assert(!c.isSameType(a))
+    
+    d = g('java.lang.Iterable', [type('java.lang.CharSequence')])
+    assert(d.isSupertypeOf(a))
+    assert(d.isSupertypeOf(c))
+    assert(!c.isSupertypeOf(d))
+    assert(!a.isSupertypeOf(d))
+  end
+
+  def test_erased_supertypes
+    lub = LubFinder.new(@types.context)
+    t = @types.getStringType.resolve
+    m = lub.erasedSupertypes(t)
+    assert_equal(
+      ['java.lang.String', 'java.lang.Object',
+       'java.io.Serializable', 'java.lang.Comparable',
+       'java.lang.CharSequence'
+      ], m.key_set.map{|x| x.toString})
+    
+    t = set(t)
+    m = lub.erasedSupertypes(t)
+    assert_equal(
+      ['java.util.Set', 'java.util.Collection',
+       'java.lang.Iterable', 'java.lang.Object'
+      ], m.key_set.map{|x| x.toString})
+    assert_equal(
+      ['[java.util.Set<java.lang.String>]',
+       '[java.util.Collection<java.lang.String>]',
+       '[java.lang.Iterable<java.lang.String>]',
+       '[java.lang.Object]'
+      ], m.values.map{|x| x.toString})
+  end
+
+  def test_minimizeErasedCandidates
+    lub = LubFinder.new(@types.context)
+    t = set(@types.getStringType.resolve)
+    s = g('java.util.Collection', [type('java.lang.CharSequence')])
+    candidates = lub.erasedCandidateSet([t, s])
+    assert_equal(['java.util.Collection', 'java.lang.Iterable', 'java.lang.Object'],
+                 candidates.key_set.map{|x| x.toString})
+    lub.minimizeErasedCandidates(candidates.key_set)
+    assert_equal(['java.util.Collection'],
+                 candidates.key_set.map{|x| x.toString})
+    candidates = HashSet.new(candidates.values.iterator.next.map {|x| x.toString})
+    assert_equal(HashSet.new(
+    ["java.util.Collection<java.lang.String>",
+      "java.util.Collection<java.lang.CharSequence>"
+    ]), candidates)
+  end
+
+  def test_lub
+    finder = LubFinder.new(@types.context)
+    string = type('java.lang.String')
+    lub = finder.leastUpperBound([string])
+    assert_equal(string, lub, lub.toString)
+
+    cs = type('java.lang.CharSequence')
+    lub = finder.leastUpperBound([string, cs])
+    assert_equal(cs, lub, lub.toString)
+
+    a = set(string)
+    lub = finder.leastUpperBound([a, a])
+    assert_equal(a, lub, lub.toString)
+
+    b = g('java.lang.Iterable', [type('java.io.Serializable')])
+    lub = finder.leastUpperBound([a, b])
+    assert_equal('java.lang.Iterable<? extends java.io.Serializable>',
+                 lub.toString)
+
+    c = set(a)
+    lub = finder.leastUpperBound([a, c])
+    assert_equal('java.util.Set<?>', lub.toString)
+  end
+
+  def test_lub_cycle
+    finder = LubFinder.new(@types.context)
+    string = type('java.lang.String')
+    integer = type('java.lang.Integer')
+    lub = finder.leastUpperBound([string, integer])
+    assert_match(/\? extends java\.lang\.Comparable<\? extends ...>/,
+                 lub.toString)
+  end
+
+  def test_non_generic_type_with_generic_superclass
+    string = @types.getStringType.resolve
+    interfaces = string.interfaces.map {|x| x.resolve.toString}
+    assert_equal(["java.lang.Comparable<java.lang.String>"],
+                 interfaces.grep(/Comparable/))
+  end
+end