org.jboss.aspects.dbc.condition
Class ConstructorConditionManager

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

public class ConstructorConditionManager
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

ConstructorConditionManager()

Method Summary

static InvariantCondition[]	getInvariants(Constructor constructor)
static ExecutableCondition[]	getPostConditions(Constructor constructor)
static ExecutableCondition[]	getPreConditions(Constructor constructor)

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

ConstructorConditionManager

public ConstructorConditionManager()

Method Detail

getPreConditions

public static ExecutableCondition[] getPreConditions(Constructor constructor)

getPostConditions

public static ExecutableCondition[] getPostConditions(Constructor constructor)

getInvariants

public static InvariantCondition[] getInvariants(Constructor constructor)