entities
Class Filter

java.lang.Object
  extended byentities.Filter

public class Filter
extends java.lang.Object

The Filter class can be used to remove the entities that satisfy some condition from the data collected during the parsing phase . In particular it is possible to remove the entities whose name corresponds to one of the strings specified in a configuration file. A default file (config_FILTERING) is in the directory "config" in the directory where the java software is. To change the filtering condition you need to write a "config_FILTERING" file in the current directory.

The content of the file has the following format:

MODULE_NAME AliCastor
GLOBAL_VARIABLE_NAME R__ G__
CLASS_NAME R__ G__
METHOD_NAME Dictionary
FIELD_NAME fgIsA
LOCAL_VARIABLE_NAME count
FRIEND_FUNCTIONS_NAME operator>>


In this case, for example, the class whose name is equal to strings "R__" or "G__" will be removed.

The simbols ^, $, % can be put before the specified strings to mean that a particular entity has to be removed if his name respectively starts with that string, ends with that string or contains that string.

GLOBAL_VARIABLE_NAME $R__ ^G__

This means that all the global variables whose name ends with R__ or starts with G__ will be excluded.


Constructor Summary
Filter()
          Construct a new Filter object
 
Method Summary
 void filter(java.util.Vector modules)
          Filter the entities specified in the configuration file
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Filter

public Filter()
Construct a new Filter object

Method Detail

filter

public void filter(java.util.Vector modules)
Filter the entities specified in the configuration file