Commits (1)
......@@ -110,7 +110,6 @@ public class JastAddConfiguration extends org.jastadd.Configuration {
allOptions.add(cacheCycleOption);
allOptions.add(componentCheckOption);
allOptions.add(inhEqCheckOption);
allOptions.add(suppressWarningsOption);
allOptions.add(refineLegacyOption);
allOptions.add(licenseOption);
allOptions.add(debugOption);
......@@ -150,27 +149,6 @@ public class JastAddConfiguration extends org.jastadd.Configuration {
// New since 2.3.4
allOptions.add(optimizeImports);
// Deprecated in 2.1.5.
allOptions.add(doxygenOption);
allOptions.add(cacheAllOption);
allOptions.add(noCachingOption);
allOptions.add(cacheNoneOption);
allOptions.add(cacheImplicitOption);
allOptions.add(ignoreLazyOption);
allOptions.add(fullFlushOption);
// Deprecated in 2.1.9.
allOptions.add(docOption);
allOptions.add(java1_4Option); // Disabled in 2.1.10.
allOptions.add(noLazyMapsOption);
allOptions.add(noVisitCheckOption);
allOptions.add(noCacheCycleOption);
allOptions.add(noRefineLegacyOption);
allOptions.add(noComponentCheckOption);
allOptions.add(noInhEqCheckOption);
allOptions.add(noStaticOption);
allOptions.add(deterministicOption);
return allOptions;
}
......