org.jboss.aspects.dbc.condition
Class ConstructorConditionManager

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

public class ConstructorConditionManager
extends ConditionManager

Version:
$Revision: 71280 $
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)


Copyright © 2012 JBoss, a division of Red Hat, Inc.. All Rights Reserved.