Package gov.nasa.jpf.util

Examples of gov.nasa.jpf.util.MethodSpec

136
137
138
139
140
141
142
143
144
145
146
147
  // subjected to jpf-nhandler limitations.
  String[] builtinFiltered = {"java.lang.ClassLoader.*"};
 
  private boolean isAllowed(MethodInfo mi){
    for(String spec : builtinFiltered){
      MethodSpec ms = MethodSpec.createMethodSpec(spec);
      if (ms.matches(mi)){
        return false;
      }
    }

    return true;
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
159
  }

  private boolean isFiltered (MethodInfo mi){
    if (filter_spec != null){
      for (String spec : filter_spec){
        MethodSpec ms = MethodSpec.createMethodSpec(spec);
        if (ms.matches(mi)){
          return true;
        }
      }
    }
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
174
  private void processDelegated (ClassInfo ci){
    if (delegate_spec != null){
      MethodInfo[] mth = ci.getDeclaredMethodInfos();
      for (MethodInfo mi : mth){
        for (String spec : delegate_spec){
          MethodSpec ms = MethodSpec.createMethodSpec(spec);
          if (!isFiltered(mi) && ms.matches(mi)){
            delegateMethod(mi);
          }
        }
      }
    }
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
188
  private void processNativeDelegated (ClassInfo ci){
    if (delegateNative_spec != null){
      MethodInfo[] mth = ci.getDeclaredMethodInfos();
      for (MethodInfo mi : mth){
        for (String spec : delegateNative_spec){
          MethodSpec ms = MethodSpec.createMethodSpec(spec);
          if (mi.isNative() && !isFiltered(mi) && ms.matches(mi)){
            delegateMethod(mi);
          }
        }
      }
    }
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
202
  private void processSkipped (ClassInfo ci){
    if (skip_spec != null){
      MethodInfo[] mth = ci.getDeclaredMethodInfos();
      for (MethodInfo mi : mth){
        for (String spec : skip_spec){
          MethodSpec ms = MethodSpec.createMethodSpec(spec);
          if (ms.matches(mi)){
            skipMethod(mi);
          }
        }
      }
    }
View Full Code Here
TOP

Related Classes of gov.nasa.jpf.util.MethodSpec

  • gov.nasa.jpf.vm.JVMForwarder
    • 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.