Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.5 $
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)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2002 JBoss Group, LLC. All Rights Reserved.