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(Class, 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.

Constructor Summary

Constructors

Constructor and Description
__Patterns()

Method Summary

Modifier and Type	Method and 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<? super Verify.Category1>	term_Category1(Pattern<? super Verify.Type> superpattern)
static Pattern<? super Verify.Category2>	term_Category2(Pattern<? super Verify.Type> superpattern)
static Pattern<? super Verify.Double>	term_Double(Pattern<? super Verify.Category2> superpattern)
static Pattern<? super Verify.Float>	term_Float(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Int>	term_Int(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Long>	term_Long(Pattern<? super Verify.Category2> superpattern)
static Pattern<? super Verify.Null>	term_Null(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Object>	term_Object(Pattern<? super Verify.Category1> superpattern, Pattern<? super String> p_classname)
static Pattern<? super Verify.OneWord>	term_OneWord(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Reference>	term_Reference(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Top>	term_Top(Pattern<? super Verify.Type> superpattern)
static Pattern<? super Verify.TwoWord>	term_TwoWord(Pattern<? super Verify.Category2> superpattern)
static Pattern<? super Verify.Type>	term_Type(Pattern<Object> superpattern)
static Pattern<? super Verify.Uninitialized>	term_Uninitialized(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.UninitializedNew>	term_UninitializedNew(Pattern<? super Verify.Category1> superpattern, Pattern<? super LLJava.Instruction> p_offset)
static Pattern<? super 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 Detail

__Patterns

public __Patterns()

Method Detail

cast_Null

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

term_Null

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

cast_OneWord

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

term_OneWord

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

cast_Float

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

term_Float

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

cast_Category2

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

term_Category2

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

cast_Top

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

term_Top

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

cast_Uninitialized

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

term_Uninitialized

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

cast_Int

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

term_Int

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

cast_Category1

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

term_Category1

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

cast_Reference

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

term_Reference

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

cast_Long

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

term_Long

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

cast_Type

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

term_Type

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

cast_UninitializedNew

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

term_UninitializedNew

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

cast_UninitializedThis

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

term_UninitializedThis

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

cast_Object

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

term_Object

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

cast_Double

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

term_Double

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

cast_TwoWord

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

term_TwoWord

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