Infrastructure for Building Code Search Applications for Developers - Finding Source Code on the Web for Remix and Reuse - page 144

Relation Description Example

Physical
containment

INSIDE

java.lang.String INSIDE java.lang

Class
extension

EXTENDS

java.util.LinkedList EXTENDS
java.util.AbstractSequentialList

Interface im-
plementation

IMPLEMENTS

java.util.LinkedList IMPLEMENTS
java.util.List

Interface
extension

java.util.List IMPLEMENTS
java.util.Collection

Field type

HOLDS

java.lang.String.offset HOLDS int

Method return
type

RETURNS

java.lang.String.toCharArray()
RETURNS char[]

READS Field read ...String.<init>(java.lang.String)

READS java.lang.String.offset

WRITES Field write java.lang.String.<init>() WRITES

java.lang.String.offset

CALLS Method

invocation

...String.indexOf(int) CALLS
java.lang.String.indexOf(int,int)

Constructor
invocation

INSTANTIATES foo() INSTANTIATES

java.lang.String.<init>

Declared
checked
exception

THROWS

java.io.Writer.write(int) THROWS
java.io.IOException

A cast
expression

CASTS java.langString.equals(

java.lang.Object) CASTS
java.lang.String

An instance of
expression

CHECKS

java.langString.equals(
java.lang.Object) CHECKS
java.lang.String

Annotation

ANNOTATED BY

java.lang.Override ANNOTATED BY
java.lang.annotation.Target

Any reference

USES

java.lang.String.<init>() USES
char

Array element
type

HAS ELEMENTS OF

char[] HAS ELEMENTS OF char

Associated
type variables

PARAMETRIZED BY

java.util.List PARAMETRIZED BY <E>

HAS BASE TYPE Generic base

type

java.util.List<java.lang.String>
HAS BASE TYPE java.util.List

HAS TYPE ARGUMENT Generic type
argument

java.util.List<java.lang.String>
HAS TYPE ARGUMENT java.lang.String

HAS UPPER BOUND ? extends <? extends java.util.List> HAS

UPPER BOUND java.util.List

? super

HAS LOWER BOUND <? super java.util.List> HAS LOWER

BOUND java.util.List

Table 8.2: Relation types