+ } else if (option.equals("-ownaliasfiletab")) {
+ state.OWNERSHIPALIASFILE=args[++i];
+ state.OWNERSHIPALIASTAB=true;
+ } else if (option.equals("-owndebugcallee")) {
+ state.OWNERSHIPDEBUGCALLEE=args[++i];
+ } else if (option.equals("-owndebugcaller")) {
+ state.OWNERSHIPDEBUGCALLER=args[++i];
+ } else if (option.equals("-owndebugcallcount")) {
+ state.OWNERSHIPDEBUGCALLCOUNT=Integer.parseInt(args[++i]);
+ }
+ else if (option.equals("-disjoint"))
+ state.DISJOINT=true;
+ else if (option.equals("-disjoint-k")) {
+ state.DISJOINTALLOCDEPTH=Integer.parseInt(args[++i]);
+ } else if (option.equals("-disjoint-write-dots")) {
+ state.DISJOINTWRITEDOTS = true;
+ String arg = args[++i];
+ if( arg.equals("all") ) {
+ state.DISJOINTWRITEALL = true;
+ } else if( arg.equals("final") ) {
+ state.DISJOINTWRITEALL = false;
+ } else {
+ throw new Error("disjoint-write-dots requires argument <all/final>");
+ }
+ } else if (option.equals("-disjoint-alias-file")) {
+ state.DISJOINTALIASFILE = args[++i];
+ String arg = args[++i];
+ if( arg.equals("normal") ) {
+ state.DISJOINTALIASTAB = false;
+ } else if( arg.equals("tabbed") ) {
+ state.DISJOINTALIASTAB = true;
+ } else {
+ throw new Error("disjoint-alias-file requires arguments <filename> <normal/tabbed>");
+ }
+ } else if (option.equals("-disjoint-debug-callsite")) {
+ state.DISJOINTDEBUGCALLEE=args[++i];
+ state.DISJOINTDEBUGCALLER=args[++i];
+ state.DISJOINTDEBUGCALLCOUNT=Integer.parseInt(args[++i]);
+ }