Package eu.bandm.tools.lljava.absy

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.)

Constructor Summary

Constructors

Constructor	Description
__Patterns()

Method Summary

Modifier and Type	Method	Description
static Pattern<Object>	cast_Category1(Pattern<? super Verify.Category1> p)
static Pattern<Object>	cast_Category2(Pattern<? super Verify.Category2> p)
static Pattern<Object>	cast_Double(Pattern<? super Verify.Double> p)
static Pattern<Object>	cast_Float(Pattern<? super Verify.Float> p)
static Pattern<Object>	cast_Int(Pattern<? super Verify.Int> p)
static Pattern<Object>	cast_Long(Pattern<? super Verify.Long> p)
static Pattern<Object>	cast_Null(Pattern<? super Verify.Null> p)
static Pattern<Object>	cast_Object(Pattern<? super Verify.Object> p)
static Pattern<Object>	cast_OneWord(Pattern<? super Verify.OneWord> p)
static Pattern<Object>	cast_Reference(Pattern<? super Verify.Reference> p)
static Pattern<Object>	cast_Top(Pattern<? super Verify.Top> p)
static Pattern<Object>	cast_TwoWord(Pattern<? super Verify.TwoWord> p)
static Pattern<Object>	cast_Type(Pattern<? super Verify.Type> p)
static Pattern<Object>	cast_Uninitialized(Pattern<? super Verify.Uninitialized> p)
static Pattern<Object>	cast_UninitializedNew(Pattern<? super Verify.UninitializedNew> p)
static Pattern<Object>	cast_UninitializedThis(Pattern<? super Verify.UninitializedThis> p)
static Pattern<Verify.Category1>	term_Category1(Pattern<? super Verify.Type> superpattern)
static Pattern<Verify.Category2>	term_Category2(Pattern<? super Verify.Type> superpattern)
static Pattern<Verify.Double>	term_Double(Pattern<? super Verify.Category2> superpattern)
static Pattern<Verify.Float>	term_Float(Pattern<? super Verify.Category1> superpattern)
static Pattern<Verify.Int>	term_Int(Pattern<? super Verify.Category1> superpattern)
static Pattern<Verify.Long>	term_Long(Pattern<? super Verify.Category2> superpattern)
static Pattern<Verify.Null>	term_Null(Pattern<? super Verify.Category1> superpattern)
static Pattern<Verify.Object>	term_Object(Pattern<? super Verify.Category1> superpattern, Pattern<? super String> p_classname)
static Pattern<Verify.OneWord>	term_OneWord(Pattern<? super Verify.Category1> superpattern)
static Pattern<Verify.Reference>	term_Reference(Pattern<? super Verify.Category1> superpattern)
static Pattern<Verify.Top>	term_Top(Pattern<? super Verify.Type> superpattern)
static Pattern<Verify.TwoWord>	term_TwoWord(Pattern<? super Verify.Category2> superpattern)
static Pattern<Verify.Type>	term_Type(Pattern<Object> superpattern)
static Pattern<Verify.Uninitialized>	term_Uninitialized(Pattern<? super Verify.Category1> superpattern)
static Pattern<Verify.UninitializedNew>	term_UninitializedNew(Pattern<? super Verify.Category1> superpattern, Pattern<? super LLJava.Instruction> p_offset)
static Pattern<Verify.UninitializedThis>	term_UninitializedThis(Pattern<? super Verify.Category1> superpattern)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

__Patterns

public __Patterns()

Method Details

cast_Double

public static Pattern<Object> cast_Double(Pattern<? super Verify.Double> p)

term_Double

public static Pattern<Verify.Double> term_Double(Pattern<? super Verify.Category2> superpattern)

cast_OneWord

public static Pattern<Object> cast_OneWord(Pattern<? super Verify.OneWord> p)

term_OneWord

public static Pattern<Verify.OneWord> term_OneWord(Pattern<? super Verify.Category1> superpattern)

cast_Category1

public static Pattern<Object> cast_Category1(Pattern<? super Verify.Category1> p)

term_Category1

public static Pattern<Verify.Category1> term_Category1(Pattern<? super Verify.Type> superpattern)

cast_Null

public static Pattern<Object> cast_Null(Pattern<? super Verify.Null> p)

term_Null

public static Pattern<Verify.Null> term_Null(Pattern<? super Verify.Category1> superpattern)

cast_TwoWord

public static Pattern<Object> cast_TwoWord(Pattern<? super Verify.TwoWord> p)

term_TwoWord

public static Pattern<Verify.TwoWord> term_TwoWord(Pattern<? super Verify.Category2> superpattern)

cast_Long

public static Pattern<Object> cast_Long(Pattern<? super Verify.Long> p)

term_Long

public static Pattern<Verify.Long> term_Long(Pattern<? super Verify.Category2> superpattern)

cast_Top

public static Pattern<Object> cast_Top(Pattern<? super Verify.Top> p)

term_Top

public static Pattern<Verify.Top> term_Top(Pattern<? super Verify.Type> superpattern)

cast_Category2

public static Pattern<Object> cast_Category2(Pattern<? super Verify.Category2> p)

term_Category2

public static Pattern<Verify.Category2> term_Category2(Pattern<? super Verify.Type> superpattern)

cast_Object

public static Pattern<Object> cast_Object(Pattern<? super Verify.Object> p)

term_Object

public static Pattern<Verify.Object> term_Object(Pattern<? super Verify.Category1> superpattern,
 Pattern<? super String> p_classname)

cast_Type

public static Pattern<Object> cast_Type(Pattern<? super Verify.Type> p)

term_Type

public static Pattern<Verify.Type> term_Type(Pattern<Object> superpattern)

cast_Uninitialized

public static Pattern<Object> cast_Uninitialized(Pattern<? super Verify.Uninitialized> p)

term_Uninitialized

public static Pattern<Verify.Uninitialized> term_Uninitialized(Pattern<? super Verify.Category1> superpattern)

cast_Float

public static Pattern<Object> cast_Float(Pattern<? super Verify.Float> p)

term_Float

public static Pattern<Verify.Float> term_Float(Pattern<? super Verify.Category1> superpattern)

cast_Reference

public static Pattern<Object> cast_Reference(Pattern<? super Verify.Reference> p)

term_Reference

public static Pattern<Verify.Reference> term_Reference(Pattern<? super Verify.Category1> superpattern)

cast_UninitializedNew

public static Pattern<Object> cast_UninitializedNew(Pattern<? super Verify.UninitializedNew> p)

term_UninitializedNew

public static Pattern<Verify.UninitializedNew> term_UninitializedNew(Pattern<? super Verify.Category1> superpattern,
 Pattern<? super LLJava.Instruction> p_offset)

cast_Int

public static Pattern<Object> cast_Int(Pattern<? super Verify.Int> p)

term_Int

public static Pattern<Verify.Int> term_Int(Pattern<? super Verify.Category1> superpattern)

cast_UninitializedThis

public static Pattern<Object> cast_UninitializedThis(Pattern<? super Verify.UninitializedThis> p)

term_UninitializedThis

public static Pattern<Verify.UninitializedThis> term_UninitializedThis(Pattern<? super Verify.Category1> superpattern)