Class Verify.__Patterns

java.lang.Object
eu.bandm.tools.lljava.absy.Verify.__Patterns
Enclosing class:
Verify

public static class Verify.__Patterns extends Object
Ancillary class providing Paisley compound patterns. The methods with names cast_[T] simply call ReflectionPatterns.forInstancesOf(java.lang.Class, eu.bandm.tools.paisley.Pattern). Thus they combine a pattern which matches some super type with a type check.

The methods with names term_[T] get as parameters one pattern for the super class and one for each own field and combine them to a pattern for the class T.

(The 'term(..)' methods do intentionally not include the code of the 'cast(..)' methods, because the latter is not needed when the former is used as the pattern for the superclass.)