Package gov.nasa.jpf

Examples of gov.nasa.jpf.Config

226
227
228
229
230
231
232
233
234
235
236
237
238
239
   * at the searchStarted event, if the option nhandler.reset is set to true,
   * all the peer classes created on the fly are removed.
   */
  @Override
  public void searchStarted(Search search){
    Config config = search.getConfig();
    boolean reset = config.getBoolean("nhandler.clean");
    if(reset) {
      String path = config.getPath("jpf-nhandler") + "/onthefly";
      File onthefly = new File(path);
      String[] peers = onthefly.list();

      for(String name: peers) {
      if((reset && name.startsWith("OTF_JPF_") && (name.endsWith(".class") || name.endsWith(".java")))) {
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
 
  private static Logger logger = JPF.getLogger(ConformanceChecker.class.getName());

  public static void main(String[] args) {
   
    Config conf = JPF.createConfig(args);
   
    ProviderFactory.init(conf);
   
    ModelClassProvider modelProvider = ProviderFactory.getModelProvider(); 
   
View Full Code Here
118
119
120
121
122
123
124
   *
   * If there is a jpf config file available, then
   * properties are read from there.
   */
  public StandardClassProvider() {
    this(new Config(new String[]{}));
  }
View Full Code Here
72
73
74
75
76
77
78
  private Random rnd = new Random();
 
  File[] files;
 
  public ModelClassProvider() {
    this(new Config(new String[]{}));
  }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
63
   */
  @Override
  public void searchStarted(Search search) {
    super.searchStarted(search);

    Config config = search.getVM().getConfig();
    // Decide whether it is client or server side
    String sideConfig = config.getString("jointstates.side");
    if (sideConfig != null) {
      if (sideConfig.equals("client")) {
        JointstatesListener.side = Side.CLIENT;
        JointstatesListener.otherSide = Side.SERVER;
      } else if (sideConfig.equals("server")) {
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
    for (String slc : slices) {
      if (isExpandable(slc)) {
        String name = slc.trim().substring(slc.indexOf("${") + 2,
                                           slc.indexOf("}"));
        String prop = getProperty(name);
        Config jc = new Config(new String[]{});
        String jpf = jc.getString(name);
        String sys = System.getProperty(name);

        if (prop != null) {
          if (isExpandable(prop)) {
            expanded = recursiveExpand(prop);
View Full Code Here
41
42
43
44
45
46
47
48
  private Scanner scanner;

  public ProjectScanner(Scanner scanner) {
    //--- It's used the Config constructor with empty args to load the whole
    //    JPF config stack because the string constructor is not available.
    config = new Config(new String[]{});
    this.scanner = scanner;
  }
View Full Code Here
TOP

Related Classes of gov.nasa.jpf.Config

  • gov.nasa.jpf.autodoc.types.ConfigLoader
  • gov.nasa.jpf.autodoc.types.scanner.ProjectScanner
  • gov.nasa.jpf.conformanceChecker.ConformanceChecker
  • gov.nasa.jpf.conformanceChecker.providers.ModelClassProvider
  • gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider
  • gov.nasa.jpf.vm.JVMForwarder
  • hu.bme.mit.ftsrg.jointstates.listener.JointstatesListener
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.