Searched refs:ASSUME_NO_SIDE_EFFECTS_OPTION (Results 1 – 3 of 3) sorted by relevance
61 public static final String ASSUME_NO_SIDE_EFFECTS_OPTION = "-assumenosideeffects"; field in ConfigurationConstants
169 …writeOptions(ConfigurationConstants.ASSUME_NO_SIDE_EFFECTS_OPTION, configuration.assumeNoSideEffec… in write()
184 …else if (ConfigurationConstants.ASSUME_NO_SIDE_EFFECTS_OPTION .startsWith(nextW… in parse()