entities
Class Filter
java.lang.Object
entities.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 |
Filter
public Filter()
- Construct a new Filter object
filter
public void filter(java.util.Vector modules)
- Filter the entities specified in the configuration file