From f630820d7a89c41c2022716cbd242bdf10157d07 Mon Sep 17 00:00:00 2001 From: sivaji Date: Wed, 18 Apr 2007 16:32:36 +0000 Subject: [PATCH] *** empty log message *** --- .../TaskStateAnalysis/Task Analysis.pdf | Bin 0 -> 12095 bytes .../TaskStateAnalysis/TaskAnalysis.java | 9 ++++----- 2 files changed, 4 insertions(+), 5 deletions(-) create mode 100644 Robust/src/Analysis/TaskStateAnalysis/Task Analysis.pdf diff --git a/Robust/src/Analysis/TaskStateAnalysis/Task Analysis.pdf b/Robust/src/Analysis/TaskStateAnalysis/Task Analysis.pdf new file mode 100644 index 0000000000000000000000000000000000000000..2c1ba9934f63e23981f21027d380536db007b4a6 GIT binary patch literal 12095 zcmeG?cU%)$x1cT}5EMZXK^YMglrWQ?V2BF=1SQgoB1*~tfi#mKK@k-jiUq`qtVpq< zAfJjI8Cq_=0!ew%I3^SJ5=v06TsR*UKm^zeA`lS<1@?yMG}sLyQ)mQuI)Dd2 z1cXGU!yZs5L?KWi0+kWQV&PDU0HXr+y>NOeIU1qvi9o>VAsrWJsxCp2E*PCc{uV|c z5NUm2BywLoI+@-FkHP5EmW&V?-{O&pG-4kZnbD^Ygo-H(yL#}9sh|s{lyik5RF2aF z%Jc_%gcwxVM~=?JR7Rq~A%19tzfueVI5cR5w?eyBpn^Ok^<$G&Y?`ClDwEva_2jnMQYUW4I96Zf-O-8xTiW zm__syO0Ha~(LI9Gv$1jWcE{;K5KfQL)8?ooQW*u&7%&^6Ghlb2NQuf}cM(^Kx}tok z0EImv0s$KiG!pC&k?1UzLMcbNVqn&4UU+zTWO(@FD_R3i+ZgO!JScg_2>Qs>OZT(4 zE;+wtN$4T*+Nqne*RSsHbt1$(VEeEkBqE|a(mCqxkmK4S1B2+5P>w;ZRzCx+8+p26 zI6W|iI%s!{Cd>w1gHyvOk@!6xgF^`rxWj-d1*j^N2GQtYu!eshu3W4D_Fzjzv0{k= zB4HL02>D8>9E@-lOJgWtk$`v^sy0zC33)t0I1tm~QXY4)R)4K@JFVB>VN`9%j#AM7JU`DjO54I-GW z7#*%c$&m_#5kgd8>*`2E5E?=z&=Cd+p^)uZ;DUX)k*ET~^aaR(vKKdA8mol8C8$Pl z*dKJsR|d#YR6X>-%mA2bnc08=ku(zYB8jy9@>R=CYq}O*D^Sbd?!W1{qaz+FQb1q^ zL4Muq03D;>p%AuQDsz#lLJ5{O`|5yL=JIVw?hFs$KC1HzQVmP(YMRsk`vHhy5T zD8YEdvNiOC4qsmYiC>9Pt zRmw2fO{JXTkI@IsruZWegQUR)*lP7)+Uy}1MzljP|5%<98#DpHm}*q4b5~TsmkVXs z@L~|u3}Dt{M{&V$BU9mEp+Fg>2qjW5$$H)-5(&b77!0e$%AHsgu;l!^pBkS=hlt?U zO^-$-LR2bE{Zp3-1c*Yx)))^aMYT+#oADfRT|V9HCgJ`xyI!gp54?lsM0RbDVh@sK*?Oha&;N38vdIXQXO>1N}L zCrxj#UaL~fU+fmbW2f6Y2R5C3>!8&S!a4rkXtI1xl7*_Q^4SZ=NNY<@w#gPc z_j~`Qrafh_pt=5@_}Auy<_Tr}hHiM3IK0()$N`Vyu_<3(tXgK2Ftl#+_QeO1j-K`O zY(`Es5wD$1|FC-V`h=23y)PNpzg}lmI7pG=-%Xp_`WaY+UtMhPGI`d9SG?zG@y++r zrBGHmk-*c7HfeZN2@Q&0ll$KcjPeSsz?#o8J2! z!SlF(t{dE6O5Q|~#>z3tOdcV$`U;4{3@=8<7 z#FU)mGOHUNbG@UQbO+7Uv3YZiUmZ^C<)l2bW91HJ zX>qPNZrQzz8*z(@!XiIftZ;PRoBHA2!WE+i;M2~UOj((3ESp(65kYSaJ5oAX`E*zs zc}a`$`U@AGtjA}@=H+Ki8FqVHMC|Ldwq=<#T)x~R&?BLUkTO@x*Wr5G{wcmYEZ%ch zEwX%I)Y^Qdysc^ccvXz4YDv}s(L3IF)ppCJ|=i0wTBgB2R}UbCHt9C(c%|-*xJUAmJIJF&x=X< zJbFf@T;C#hP^*7Z|63ed{nUVGliJO63RW0ePn5)&#S_WPMk2_(=6Qbrt&fz^b#4BHGCjW z$1=s{+=hbXU;F1AKpD2-JH}oPewb)-we8ZC+Cq+H&W=so9J$BKy|*?s|%xdTZtyUTSkXEh=DRYyQ=G<0}0c*4P72uWbJP(fs!0w2GL^ z69d{SmT?TsO2_z3_G*MSLTlT`a=+%}C1Xu!0??lvP|XClRio=9)r4UC=gan+m1HW#m=X*g@C>4bHGc~z8`sZoYEgGDoS zZS9j%IYI^ATwA(L(0Vd3e*fQ7UN|HjH|3i!pWz%X?<#M-P@ZwM$b49g*Y;UQ2n#n^ zeeGABX?XHrge;Hg68vPPL8bA_0(bw``$$3g;pb^7?78a)GZTzf&OEY>!Wtbm?6Udg zrMcSsP}~Xpfip!_1Ie+!ZyHx1-9ITv*DyoJf%e{&@GDL@G0n(n(uzj;%-PKS0{t^9 z~anaIeo$Ut!T9q z8y2j)INH_Mn@}$LGdR#ZK52BI)3E^qcgtq&MV{w{te`wrphkFS-Y{n_I?tSuRR&)-|r% zL%n&b|G{QC)4p)Ph4qAUoZ(B$F8i0dB8rz`HN|Uav77WQqMsZa;4xfVXYbR57xi~- zxua(UhYoJ{(z3ueL>Im-&M`eVX=Ykk0zCZuoq0!8<5Io8u6It}T~mHohbtU;!eYW_ zG2A47X9(q+P^vQQ5(1{Ch9%i7WdAw7dZxnJ@KMT$L02Nz^rMPS*Wp{>+-(t8ADCB! zX1iD1K7TZ5R0HuHsqz^jwoO_(a<{9j`d=J}+U3IR*R(5T!DF6=WUbp|mcliTOD1jq zbeyQYs$ZJV_QP|wSC;vTjwj|9A3eRM?&yGik9`ZQ4f0Oqx?Qq|E)wv($@MeFBm~TF z(a|~d=g~ucA$7qsZqCnv!cT9AUf>uaS(O}UBuH%uDK}VC9Ar?_7>xIx^`>gaG3yy+ zpYl%3*oy?&{qf6Z58FpRw^A=Gnt9jwCg%)&>+yy)RSREO&tbm)wBzinH3tv5-3`UJ z&MBEaVc%Or@j{oOiys#iFF(t_Xz=D*tIZep$fJ%)rmQ*#Khuln_Xp=PPLPIA*ob~^ zEfUrbUpV~W=ro7eiFJv!7ecm(f`g&g6%7K5&$76JM>Vmn<}J1>Goqi!;u2Aumz6Sw zl3ALv5qdDqjrdZ3L6qZmvn>x^P1e@YV&j5OekaUOJCvPHh!PbCL39uf0Z(T-R}9?H zzTOU~0=_k>q{a?Lg^^Lf_eKyb&;wx!i41}z1s`+B@k9bujpTy4*?0<- z4&g}%4FWL-0>W5?76viC{Oq|(0Q7J`fpjjl0=H!m9G zCc6DZRrQfA9B*^aAuC$;G|p{F^;#6S-o(wy+GF#mB;?j;A48pS2abk^UOc4tHLY00?zd3u83#Wz*%3V%zwjG;!F?|?oW_IS@ zqejIuMhs?dPt)cHFbvn_x~X2b7I>gO zxUG8Z4?~e(hA(v<%Fm8j_NQU`z~DbpO*m^)4%NkP)YZGBN^W_=rnoKloICqBe09W~ zup^wMyoZbCR)4DBU7qf9r|n}w+sXSrV>Xmss@%Qrd04yZw@(%K8VVdsLYYi!OE;F~ zgUh<3J1hdR$oj zBqc>UrPb;3ThD)ah})!x6JKr5zPP8Uu>QmQv-QfF$MBo|hwIDgBaXfqdHP(IvF)J+ zA4^UOt7~5FoUS`*-}LHB3)7JW*?iT!I%TEqk!zkCA1oU_AGTH9E5CK4K)5^s_79&D zR~DLAg|9C7sPp#@+gE2FqQ_>{B!<``#hDd*An6+q4g^Z=bMTZ`B>6 z5A`pny$vcobTD~I;YZw@&*mi&*W)JG&&sS|9nRlkxNbzT!QTT2zj#2&c5EwWk+z?) z>y|OA1#tzx`g)2eNnrsag@2oa4{MWKEtCqri zvZqCWcCP1B#E+C=ZMf@NrS;qq`$lqxw)4o=MV4tH>7^wBv<&O!u|s1v+}~2~o?gn@ zNLXRryz3X#gE!f#$TM(OhKxP*p^;crA~Eo7*uLlVgX`mt+c%nXYiji$&2t~u#yY>< z>+!hvE;lAp3Xh!jds)AE%`5JimxrIEwtcEQ_}9(U2XL1C>GqAE=*Z*nsfiZy0DfYo z*GBL+#n$tR!;bai9p;@pH%g-UDjCYR}+#h!B zUX6RCF4@vpu(N{HIhHI^C+gs7LV+Swoh0+?L90hzwllXB!tv@{!$}M(Lqnr8ZP>k9 zGbgJ+mN5oZLOe85C~>lSd+MweBosJV1yeW(N5)2@gdX$dsQ>)w0sQ$fe1^bkGE0xC za#V?BVvvM{RAP}t;iz)5;(|Or>Iljh7`B4cD9RWoD`%_%3gP%bY^fZD$PNgePXgI* zGTDJhAu)&qd&oal0(tY55JJGVQSfbm=13qrk{DJjkavcdazTWnpR0REU*OHjDoUx8 zIl^#UT%1E3$w4ZQgb54=14f82k%$KvctyNK$yMPcim@6Zopd_)R-se^VRX4XknVJ{ zvcfv*x->$`dUPaFIH(15;7i3YsDKF$B)E$*XvhRWN022H#PU%&%b72i^0-RKRj5!3 zMIf~g(H+313)zBhDX06sc^9}7!x;}J5R zKo39|jwHm9g5VLFBZ4sDZ!o*f&Frd?$^)cQQJ3vNrkBHw(U=a30BPA^sa(*5PzU-q zl+@~r|2N!_dvenQ^IIAn+5I1)(i8Xpz!)6Pe>R6$+{Ypuj-#uTA1el7fu}1gHdZKb z6rePM0OgYKG&-M;Co@PSJTHQe;86+#z!_XVnaoqGws+g!dI5Ew67X?K0={*0(53Pa z5=x*F@DVf~4^O6(_;@;ri{K-8L<$3?kZA%ErIT)twteU-VtLUhU)ed`Gz)=x()puv zdqX>Cqe#eNXyz*@brZy@)w8&F!%il?>F6Ju@B)69nPjnYk$OcG@L^PhVrEc)nM3Gp zCjs9PjA=1f$>PdnAb{d3!HS42N=&%Bs#`230P?YkCY669EVeTBmbHiWfNH!WB7}VO zf1;`Hc7-vZ6e>mNce-~LePg+98)18fqX>MUaBYtO4XA;FEemXwaMxbhn{$np{`voIoBi{&yD0wbq)Qb)QuwK^AJI}5 z&QEo9sp3ZpKh^akTI$02sjeF?wYu+tVD z`B-&q0~|9f68QE24;I>tN09M$uyd?3N-DS2cv>LCtnt%qJA=^g1~PWokrs8Z+J*OR zusW+VTAgKQ2ZLzkdrV*vjfRQd(PIy0HPNFT_{;#jH{0H>7dV5|nT75+a0bySUFZ6+ zPX|;Ag+zhCF+lZUIRraS*nMtJ1EVkihPv2&zK#NN9(`fh5gqL6#-jp?-@w4f3haAH zZ#?zeH@y6Wsg=~nMnCoPQ!g3~^qs#y$HvdG@&99N^f|Llr-03@=izArf!cL^`o91H Cq#ri` literal 0 HcmV?d00001 diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java index 0d449b8b..a5b34640 100644 --- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java +++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java @@ -123,14 +123,14 @@ public class TaskAnalysis { } while (q_main.size() > 0) { // ****debug block******** + + System.out.println("/***********contents of main q**********/"); for (Iterator it_qm=q_main.iterator();it_qm.hasNext();) { TriggerState ts_qm=(TriggerState)it_qm.next(); FlagState fs_qm=ts_qm.getState(); - System.out.println("/***********contents of main q**********/"); - System.out.println("FS : "+fs_qm.toString((FlagDescriptor [])flags.get(ts_qm.getClassDescriptor()))); - + System.out.println("FS : "+fs_qm.toString((FlagDescriptor [])flags.get(ts_qm.getClassDescriptor()))); } System.out.println("/*********************************/"); // ****debug block******** @@ -191,10 +191,9 @@ public class TaskAnalysis { //***Debug Block*** FlagDescriptor[] ftemp=(FlagDescriptor[])flags.get(cd); System.out.println("Processing state: "+cd.getSymbol()+" " + fsworking.toString(ftemp)); - //***Debug Block*** - + for(Iterator it_tasks=state.getTaskSymbolTable().getDescriptorsIterator();it_tasks.hasNext();) { TaskDescriptor td = (TaskDescriptor)it_tasks.next(); boolean taskistriggered=false; -- 2.34.1