Reference

Paths

Paths are of the form

Type1 name1 -> ... -> TypeN nameN

Where each name is a unique identifier, and Type is one of

• A fully qualified Java class name, like java.util.HashMap
• An unqualified class name in java.lang, like Integer
• A regular expression, like com\.mycompany\.utils.*
• Any of the above with some number of array dimensions, like Object[] or Integer[][]
• A primitive array type, like int[]

There are eight kinds of path arrows, and more than one kind can be used in a path

• -> is a direct outgoing reference
• <- is a direct incoming reference
• ->> is an outgoing reference that can skip objects
• <<- is an incoming reference that can skip objects

The above path arrows traverse the object graph. To traverse the dominator tree, replace - with =

• => means "directly dominates"
• <= means "directly dominated by"
• =>> means "indirectly dominates"
• <<= means "indirectly dominated by"