Convenience method returning true if this method is protected.

Convenience method; returns true if this class is public.

Call this on the merge of graphs at all return points of a method to know whether the method is pure.

We use a less restrictive notion of purity for constructors: pure constructors can mutate fields of this. @see isPure

Return true if this method has the same signature as <code>mi</code>. This method should not be called except by <code>TypeSystem</code> and by subcla

Returns true if the call is due to an explicit static invoke statement.

Return true if this type is a subtype of <code>ancestor</code>.