📄 testforward.java%
字号:
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4131 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1132 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2133 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3134 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4135 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1136 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2137 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3138 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4139 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1140 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2141 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3142 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4143 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1144 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2145 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3146 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4147 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1148 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2149 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3150 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4151 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1152 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2153 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3154 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4155 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1156 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2157 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3158 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4159 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1160 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2161 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3162 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4163 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1164 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2165 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3166 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4167 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1168 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2169 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3170 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4171 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1172 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2173 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3174 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4175 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1176 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2177 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3178 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4179 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1180 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2181 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3182 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4183 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1184 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2185 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3186 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4187 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1188 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2189 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3190 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4191 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1192 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2193 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3194 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4195 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1196 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2197 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3198 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4199 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1200 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2201 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3202 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4203 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact1204 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact2205 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact3206 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
f1 = ZeusParser.fact(db,"(:type test :id fact4207 :modifiers 0 :attributes ((data Test)))");
if ( f1.resolve(b) )
agent.addFact(f1);
/* Initialising External User Program*/
if ( external != null ) {
c = Class.forName(external);
user_prog = (ZeusExternal) c.newInstance();
context.set(user_prog);
}
/* Activating External User Program*/
if ( user_prog != null )
user_prog.exec(context);
}
catch (ClassNotFoundException cnfe) {
System.out.println("Java cannot find some of the classes that are needed to run this agent. Please ensure that you have the followingin your classpath : zeus_install_dir\\lib\\zeus.jar, zeus_install_dir\\lib\\gnu-regexp.jar, java_install_dir\\jre\\rt.jar Where zeus_install_dir is the directory that you have installed Zeus in , and java_install_dir is the directory that you have installed Java in");
cnfe.printStackTrace();}
catch(Exception e) {
e.printStackTrace();
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -