/**
 * constant(+FieldID)
 *
 * checks if a field is a constant, e.g. final static
 */

/**
 * constructor(+MethodID)
 *
 * checks if a method is a class initializer, object initializer or a 
 * constructor.
 */

/**
 * count(+ArgumentName,+PredicateCall,-Count)
 *
 * binds the length of a list resulting from a findall with ArgumentName
 * and PredicateCall to Count.
 */

/**
 * divide(+Divident,+Divisor,?Quotient)
 */     

/**
 * divide(+Divident,+Divisor,?Quotient,+Default)
 */   

/**
 * equalParameters(+Params1,+Params2)
 *
 * checks that the number and type of the parameters is the same. used for 
 * checking that method signatures are equal.
 */

/**
 * extendsRecursive(?SubClass,?SuperClass)
 *
 * Tests whether SubClass extends a SuperClass are another class
 * which recursively extends SuperClass.
 */

/**
 * extendsRecursive(?+SubClass, ?SuperClass, ?Count)
 *    
 * Count is the number of inheritance steps from SubClass to SuperClass.
 */

/**
 * extern_package(?PackageId)
 *
 * Suceeds if all the classes in the package with ID "PackageId" are external.
 * Thus, empty packages are external. 
 */

/**
 * find_source_location(+PEF,-File,-Offset,-Length)
 *
 * @JIRA CV-257
 */

/**
 *  firstGetField(+MethodId,+FieldId)
 *
 *  Tests if a method accesses a field.
 */

/**
 * getter_method(+MethodID)
 *	
 * This predicate will be true, if the Method 
 * with the ID "MethodID" is a getter-Method
 */

/**
 * is_implementing(+MethodId)
 *
 * checks if the method implements some abstract definition
 */

/**
 * internal_package(?PackageID)
 *
 * succeds for all non-external packages
 */

/**
 * methodCallsMethod(+CallingMethodId, ?CalledMethodId)
 *
 * Tests whether the CalledMethod is called by CallingMethod.
 *
 * ASSUMES: CallingMethodId and CalledMethodId are Ids of some methods.  
 */

/**
 * method_in_class(+ClassID,?MethodID)
 *
 * lists all the methods in a class / checks if a method is a method in a class
 *
 * Important: Difference to MethodDefT_In : Constructors are excluded
 */

/**
 * methodIsCalledByTest(+MethodId) 
 * 
 * Checks if a method is called by a test case.
 */ 

/**
 *  methodReferencingField(+FieldId,-MethodId)
 *
 *  binds all methods that access the field with id FieldId to MethodId
 */

/**
 * noF(+ClassId,-NOF)  
 *
 * number of fields
 * 
 * It will bind NOF to the number of fields of the class with ClassId.
 */

/**
 * number_of_methods(+ClassId,-NOM)  
 * 
 * number of methods (excluding constructors)
 *
 * It will bind NOM to the number of methods of the class with ClassId.
 */

/**
 * isOverriding(+MethodId)
 *
 * checks if the method overrides some other method. 
 */

/** 
 * percentage(Actual,Absolute,Result)
 */

/**
 * subtype(SubClass, SuperClass)
 */

/** 
 * sumall(+List, -Sum)
 * 
 * Calculates the sum of all elements in the list.
 */

/**
 * test_class(?ClassID)
 *
 * succeds for all test classes
 */

/** 
 * is_test_method(+MethodID)
 *
 * True, if MethodID 
 *   - begins with "test"
 *   - isSubtype the TestCase-Class
 *   - has no return values (void)
 */

/**
 * trivial_getter_method(+MethodID)
 *	
 * This predicate will be true, if the method with the ID "MethodID" is a 
 *  trivial getter-Method.
 *
 *  example (for field "int x;"): 
 *
 *  public int getX() {
 *    return x;
 *  }
 */