Mercurial > hg > Members > kono > jpf-core
comparison src/peers/gov/nasa/jpf/vm/LoggablePeer.java @ 19:9fea3d8da9aa
!!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation.
From now on, we are free to use default methods and lambdas.
added convenience Loggable and PrintStreamable interfaces that mix in the
respective fat interfaces via default methods, so that we don't have to burn
inheritance of respective target classes (they only have to provide getLogger()
and getPrintStream() methods)
added a abstract LoggablePeer so that model classes can implement Loggable with
intercepted/native logging if they provide a respective concrete peer.
added some more default interface method tests
author | Peter Mehlitz <pcmehlitz@gmail.com> |
---|---|
date | Wed, 01 Apr 2015 12:14:15 -0700 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
18:a9ada67f1799 | 19:9fea3d8da9aa |
---|---|
1 package gov.nasa.jpf.vm; | |
2 | |
3 import gov.nasa.jpf.JPF; | |
4 import gov.nasa.jpf.annotation.MJI; | |
5 import gov.nasa.jpf.util.JPFLogger; | |
6 | |
7 /** | |
8 * abstract base for Loggable peers | |
9 */ | |
10 public abstract class LoggablePeer extends NativePeer { | |
11 | |
12 final JPFLogger delegatee; | |
13 | |
14 protected LoggablePeer (String loggerId) { | |
15 delegatee = JPF.getLogger(loggerId); | |
16 } | |
17 | |
18 | |
19 @MJI | |
20 public void severe__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) { | |
21 delegatee.severe(env.getStringObject(sRef)); | |
22 } | |
23 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) { | |
24 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref)); | |
25 } | |
26 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) { | |
27 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref)); | |
28 } | |
29 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) { | |
30 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref)); | |
31 } | |
32 @MJI public void severe__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) { | |
33 delegatee.severe(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref)); | |
34 } | |
35 @MJI public void severe___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) { | |
36 delegatee.severe((Object[]) env.getStringArrayObject(aRef)); | |
37 } | |
38 | |
39 @MJI public void warning__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) { | |
40 delegatee.warning(env.getStringObject(sRef)); | |
41 } | |
42 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) { | |
43 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref)); | |
44 } | |
45 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) { | |
46 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref)); | |
47 } | |
48 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) { | |
49 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref)); | |
50 } | |
51 @MJI public void warning__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) { | |
52 delegatee.warning(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref)); | |
53 } | |
54 @MJI public void warning___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) { | |
55 delegatee.warning((Object[]) env.getStringArrayObject(aRef)); | |
56 } | |
57 | |
58 @MJI public void info__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) { | |
59 delegatee.info(env.getStringObject(sRef)); | |
60 } | |
61 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) { | |
62 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref)); | |
63 } | |
64 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) { | |
65 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref)); | |
66 } | |
67 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) { | |
68 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref)); | |
69 } | |
70 @MJI public void info__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) { | |
71 delegatee.info(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref)); | |
72 } | |
73 @MJI public void info___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) { | |
74 delegatee.info((Object[]) env.getStringArrayObject(aRef)); | |
75 } | |
76 | |
77 @MJI public void fine__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) { | |
78 delegatee.fine(env.getStringObject(sRef)); | |
79 } | |
80 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) { | |
81 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref)); | |
82 } | |
83 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) { | |
84 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref)); | |
85 } | |
86 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) { | |
87 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref)); | |
88 } | |
89 @MJI public void fine__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) { | |
90 delegatee.fine(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref)); | |
91 } | |
92 @MJI public void fine___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) { | |
93 delegatee.fine((Object[]) env.getStringArrayObject(aRef)); | |
94 } | |
95 | |
96 @MJI public void finer__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) { | |
97 delegatee.finer(env.getStringObject(sRef)); | |
98 } | |
99 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) { | |
100 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref)); | |
101 } | |
102 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) { | |
103 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref)); | |
104 } | |
105 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) { | |
106 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref)); | |
107 } | |
108 @MJI public void finer__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) { | |
109 delegatee.finer(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref)); | |
110 } | |
111 @MJI public void finer___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) { | |
112 delegatee.finer((Object[]) env.getStringArrayObject(aRef)); | |
113 } | |
114 | |
115 @MJI public void finest__Ljava_lang_String_2__V (MJIEnv env, int objRef, int sRef) { | |
116 delegatee.finest(env.getStringObject(sRef)); | |
117 } | |
118 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref) { | |
119 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref)); | |
120 } | |
121 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref) { | |
122 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref)); | |
123 } | |
124 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref) { | |
125 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref)); | |
126 } | |
127 @MJI public void finest__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int objRef, int s1Ref, int s2Ref, int s3Ref, int s4Ref, int s5Ref) { | |
128 delegatee.finest(env.getStringObject(s1Ref), env.getStringObject(s2Ref), env.getStringObject(s3Ref), env.getStringObject(s4Ref), env.getStringObject(s5Ref)); | |
129 } | |
130 @MJI public void finest___3Ljava_lang_String_2__V (MJIEnv env, int objRef, int aRef) { | |
131 delegatee.finest((Object[]) env.getStringArrayObject(aRef)); | |
132 } | |
133 | |
134 } |