org.jboss.aspects.dbc.condition
Class MethodConditionManager

java.lang.Object
  org.jboss.aspects.dbc.condition.ConditionManager
      org.jboss.aspects.dbc.condition.MethodConditionManager

public class MethodConditionManager
extends ConditionManager

Version:

$Revision: 1.2.8.4 $

Author:

Kabir Khan

Field Summary

Fields inherited from class org.jboss.aspects.dbc.condition.ConditionManager

invariants, postConditions, preConditions

Constructor Summary

MethodConditionManager()

Method Summary

static InvariantCondition[]	getInvariants(Method method)
static ExecutableCondition[]	getPostConditions(Method method)
static ExecutableCondition[]	getPreConditions(Method method)

Methods inherited from class org.jboss.aspects.dbc.condition.ConditionManager

getInvariants, initialise

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodConditionManager

public MethodConditionManager()

Method Detail

getPreConditions

public static ExecutableCondition[] getPreConditions(Method method)

getPostConditions

public static ExecutableCondition[] getPostConditions(Method method)

getInvariants

public static InvariantCondition[] getInvariants(Method method)