Sequenic.T3.Info

Class StepPredicate

java.lang.Object

Sequenic.T3.Info.StepPredicate

public class StepPredicate
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StepPredicate.PreState

Constructor Summary

Constructors

Constructor and Description
StepPredicate()

Method Summary

Modifier and Type	Method and Description
StepPredicate	andPost(java.util.function.Predicate<STEP_RT_info> q)
StepPredicate	andPostCond(java.util.function.Predicate<STEP_RT_info> q)
static StepPredicate	hoare(java.util.function.Predicate<StepPredicate.PreState> p, java.lang.String mname, java.util.function.Predicate<STEP_RT_info> q)
StepPredicate	impPost(java.util.function.Predicate<STEP_RT_info> q)
StepPredicate	impPostCond(java.util.function.Predicate<STEP_RT_info> q)
static java.util.function.Predicate<StepPredicate.PreState>	ofMethod(java.lang.String name)
static java.util.function.Predicate<StepPredicate.PreState>	ofUpdateOnField(java.lang.String name)
static StepPredicate	pre(java.util.function.Predicate<StepPredicate.PreState> p)
static StepPredicate	preCond(java.util.function.Predicate<StepPredicate.PreState> p)
StepPredicate	withPreCond(java.util.function.Predicate<StepPredicate.PreState> p)

Methods inherited from class java.lang.Object

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

Constructor Detail

StepPredicate

public StepPredicate()

Method Detail

withPreCond

public StepPredicate withPreCond(java.util.function.Predicate<StepPredicate.PreState> p)

preCond

public static StepPredicate preCond(java.util.function.Predicate<StepPredicate.PreState> p)

pre

public static StepPredicate pre(java.util.function.Predicate<StepPredicate.PreState> p)

andPostCond

public StepPredicate andPostCond(java.util.function.Predicate<STEP_RT_info> q)

andPost

public StepPredicate andPost(java.util.function.Predicate<STEP_RT_info> q)

impPostCond

public StepPredicate impPostCond(java.util.function.Predicate<STEP_RT_info> q)

impPost

public StepPredicate impPost(java.util.function.Predicate<STEP_RT_info> q)

hoare

public static StepPredicate hoare(java.util.function.Predicate<StepPredicate.PreState> p,
                                  java.lang.String mname,
                                  java.util.function.Predicate<STEP_RT_info> q)

ofMethod

public static java.util.function.Predicate<StepPredicate.PreState> ofMethod(java.lang.String name)

ofUpdateOnField

public static java.util.function.Predicate<StepPredicate.PreState> ofUpdateOnField(java.lang.String name)