2 y y y y y y y y y y y y y y y y y y   y y y y ! y" y# y$ y% &' y( y) *' y+ y, y- ./ y0 12 )!3 +!4 -!5 /!6 1!7 3!8 5! y9 <: ;< y= y>?@ <A yBC <D yE yF yG HI yJ ;K yL yM yN yO yPQ M!R O!T ^U VW ^X .YZ ^[ Q\ Q]^_` [ab ^c .d ef eg yh ^i Vjk flm fn Qop fqr ms ^t yu yv wx yy{ t} y~  y w {l wd y  y  U   & *  V    l  l l    y t .  y  y'  l    y q     y @@       @     @@   y  y y y z     ^o      y   y   UndoChangeModelAction InnerClassesTransformUntilFixpointActionTransformActionPreviousFileActionPreviousActionNextFileAction NextAction CloseActionMatchResultTransitionControllerMatchResultStateControllerMatchResultRelationControllerMatchResultPortControllerMatchResultLinkControllerMatchResultFSMGraphController!MatchResultExternalPortControllerMatchResultActorGraphControllerMatchResultActorControllerFileSelectionStatus_transformMenuLjavax/swing/JMenu;_HIGHLIGHT_COLORLjava/awt/Color;_HIGHLIGHT_PADDINGF ConstantValue?_HIGHLIGHT_THICKNESS_PROMPT_TO_CONTINUE_COUNTId_currentPosition_fileSelectionStatus9Lptolemy/vergil/gt/MatchResultViewer$FileSelectionStatus; _isBatchModeZ_isNextFileEnabled_isPreviousFileEnabled _nextButtonLjavax/swing/JButton;_nextFileButton _nextFileItemLjavax/swing/JMenuItem; _nextItem_previousButton_previousFileButton_previousFileItem _previousItem_resultsLjava/util/List; Signature5Ljava/util/List;_rule%Lptolemy/actor/gt/TransformationRule;_sourceFileNameLjava/lang/String; _subviewersLjava/util/Set;6Ljava/util/Set; _topFrame%Lptolemy/vergil/gt/MatchResultViewer;_transformButton_transformItem_transformUntilFixpointButton_transformUntilFixpointItem>(Lptolemy/kernel/CompositeEntity;Lptolemy/actor/gui/Tableau;)VCodeLineNumberTableLocalVariableTablethisentity Lptolemy/kernel/CompositeEntity;tableauLptolemy/actor/gui/Tableau;](Lptolemy/kernel/CompositeEntity;Lptolemy/actor/gui/Tableau;Lptolemy/moml/LibraryAttribute;)VdefaultLibraryLptolemy/moml/LibraryAttribute;clearFileSelectionStatus()VgetFileSelectionStatus;()Lptolemy/vergil/gt/MatchResultViewer$FileSelectionStatus; setBatchMode(Z)V batchModesetMatchResultJ(Lptolemy/actor/gt/TransformationRule;Ljava/lang/String;Ljava/util/List;)VrulesourceFileNameresultsLocalVariableTypeTableo(Lptolemy/actor/gt/TransformationRule;Ljava/lang/String;Ljava/util/List;)VK(Lptolemy/actor/gt/TransformationRule;Ljava/lang/String;Ljava/util/List;I)Vpositionsize StackMapTablep(Lptolemy/actor/gt/TransformationRule;Ljava/lang/String;Ljava/util/List;I)VsetNextFileEnablednextFileEnabledsetPreviousFileEnabledpreviousFileEnabled _addMenuspreviousAction4Lptolemy/vergil/gt/MatchResultViewer$PreviousAction; nextAction0Lptolemy/vergil/gt/MatchResultViewer$NextAction;previousFileAction8Lptolemy/vergil/gt/MatchResultViewer$PreviousFileAction;nextFileAction4Lptolemy/vergil/gt/MatchResultViewer$NextFileAction;transformAction5Lptolemy/vergil/gt/MatchResultViewer$TransformAction;transformUntilFixpointActionBLptolemy/vergil/gt/MatchResultViewer$TransformUntilFixpointAction; closeAction1Lptolemy/vergil/gt/MatchResultViewer$CloseAction;_createActorGraphController0()Lptolemy/vergil/basic/RunnableGraphController;_createFSMGraphController_setTableauFactory5(Ljava/lang/Object;Lptolemy/kernel/CompositeEntity;)Ve%Lptolemy/kernel/util/KernelException; subentityLjava/lang/Object; factoryList originatortableauFactoryClassLjava/lang/Class;Ljava/util/List<*>;Ljava/lang/Class<*>;b^_unsetTableauFactoryfactoryFactory.Lptolemy/vergil/gt/MatchResultTableau$Factory;momlTxtrequest Lptolemy/moml/MoMLChangeRequest;attributeObject _windowClosed_beginTransform_checkContainingViewerviewerframeLjava/awt/Frame;toplevelLptolemy/kernel/util/NamedObj;_closeSubviewerseffigyLptolemy/actor/gui/Effigy; subviewer_delegateUndoStack?(Lptolemy/kernel/util/NamedObj;Lptolemy/kernel/util/NamedObj;)Vfromto prevStack(Lptolemy/kernel/undo/UndoStackAttribute;stack Exceptions_enableOrDisableActions_finishTransform#(Lptolemy/kernel/CompositeEntity;)V,Lptolemy/kernel/util/IllegalActionException;patternLptolemy/actor/gt/Pattern;recorder'Lptolemy/vergil/gt/MatchResultRecorder;matcherLptolemy/actor/gt/GraphMatcher;oldModel currentModelmodel workspaceLptolemy/kernel/util/Workspace;_getHighlightColor0(Lptolemy/kernel/util/NamedObj;)Ljava/awt/Color;object_next _nextFile _previous _previousFile_refreshStatusBarstextLjava/lang/StringBuffer;max _renderLink6(Ldiva/canvas/connector/Connector;Ljava/lang/Object;)Vc)Ldiva/canvas/connector/AbstractConnector;color connector!Ldiva/canvas/connector/Connector;semanticObject_renderNamedObj2(Ldiva/canvas/CompositeFigure;Ljava/lang/Object;)VboundsLjava/awt/geom/Rectangle2D;paddingbf!Ldiva/canvas/toolbox/BasicFigure;indexfigureLdiva/canvas/CompositeFigure; _renderStaterf&Ldiva/canvas/toolbox/RoundedRectangle; _rerender_showInDefaultEditornameLjava/lang/Exception;modified   _transform_transformUntilFixpointanswerposi access$000W(Lptolemy/vergil/gt/MatchResultViewer;Ldiva/canvas/CompositeFigure;Ljava/lang/Object;)Vx0x1x2 access$400[(Lptolemy/vergil/gt/MatchResultViewer;Ldiva/canvas/connector/Connector;Ljava/lang/Object;)V access$700 access$800L(Lptolemy/vergil/gt/MatchResultViewer;)Lptolemy/vergil/gt/MatchResultViewer; access$900((Lptolemy/vergil/gt/MatchResultViewer;)V access$1000 access$1100 access$1200 access$1300 access$1400 access$1500 access$1600d(Lptolemy/vergil/gt/MatchResultViewer;Lptolemy/kernel/util/NamedObj;Lptolemy/kernel/util/NamedObj;)V access$1700((Lptolemy/vergil/gt/MatchResultViewer;)I access$1800L(Lptolemy/vergil/gt/MatchResultViewer;)Lptolemy/actor/gt/TransformationRule; access$19009(Lptolemy/vergil/gt/MatchResultViewer;)Ljava/lang/String; access$2000 access$2100 SourceFileMatchResultViewer.java D D +, )*   D D D D D D D 01    6@      %ptolemy/vergil/gt/MatchResultViewer$1 6   D D # H  "  JQ %& S D ZD2ptolemy/vergil/gt/MatchResultViewer$PreviousAction.ptolemy/vergil/gt/MatchResultViewer$NextAction6ptolemy/vergil/gt/MatchResultViewer$PreviousFileAction2ptolemy/vergil/gt/MatchResultViewer$NextFileAction3ptolemy/vergil/gt/MatchResultViewer$TransformAction@ptolemy/vergil/gt/MatchResultViewer$TransformUntilFixpointAction/ptolemy/vergil/gt/MatchResultViewer$CloseAction  D  $  javax/swing/JMenu Transform 6  java/awt/event/KeyEvent  3 5     !  2 4 GHCptolemy/vergil/gt/MatchResultViewer$MatchResultActorGraphControllerAptolemy/vergil/gt/MatchResultViewer$MatchResultFSMGraphController!,ptolemy/vergil/gt/MatchResultTableau$Factory " #D $% &'_tableauFactory () 6* +H#ptolemy/kernel/util/KernelException*ptolemy/kernel/util/KernelRuntimeExceptionUnexpected exception 6,ptolemy/kernel/CompositeEntity -% ./ 0' 12 lm 34 5Djava/lang/StringBuilder 6D :9ptolemy/moml/MoMLChangeRequest 6; <= m -.> ?@ ABC4ptolemy/vergil/gt/GTFrameController$UpdateControllerUpdateController DD EF F GH#ptolemy/vergil/gt/MatchResultViewer @java/util/HashSet IJ KH LD MN OP&ptolemy/kernel/undo/UndoStackAttribute QR SHT UV ?R*ptolemy/kernel/util/IllegalActionException*ptolemy/kernel/util/InternalErrorExceptionUnable to clean up model. 6W9ptolemy/vergil/gt/MatchResultViewer$UndoChangeModelAction 6XY Z[java/util/LinkedList\ ]^%ptolemy/vergil/gt/MatchResultRecorderptolemy/actor/gt/GraphMatcher _` ab c4 JK dD ef!ptolemy/actor/gt/data/MatchResult g@   h ijava/lang/StringBufferMatch: 6j 6k 6l mno p qrs t uptolemy/kernel/util/NamedObj 'diva/canvas/connector/AbstractConnector vwjava/awt/BasicStroke 6x yz {|} ~"diva/canvas/toolbox/BasicRectangle     6  $diva/canvas/toolbox/RoundedRectangle 6  D '    Fptolemy/actor/gui/Effigy   @Unnamed  ptolemy/actor/gui/TableauFramejava/lang/Exception*Cannot open default tableau for the model.  D U Unable to transform model.  The transformation process has not terminated within 100 randomly chosen steps. It is possible that the transformations never reach a fixpoint. Do you intend to continue? (If so, no more questions will be asked.) Unable to transform modeljava/awt/Color 6ptolemy/vergil/gt/GTFrameCptolemy/vergil/gt/MatchResultViewer$MatchResultTransitionController>ptolemy/vergil/gt/MatchResultViewer$MatchResultStateControllerAptolemy/vergil/gt/MatchResultViewer$MatchResultRelationController=ptolemy/vergil/gt/MatchResultViewer$MatchResultPortController=ptolemy/vergil/gt/MatchResultViewer$MatchResultLinkControllerEptolemy/vergil/gt/MatchResultViewer$MatchResultExternalPortController>ptolemy/vergil/gt/MatchResultViewer$MatchResultActorController7ptolemy/vergil/gt/MatchResultViewer$FileSelectionStatusjava/lang/Objectjava/lang/Classjava/util/Listjava/util/Iteratorjava/lang/Throwable[Ljava/awt/Frame;java/awt/Frame$java/lang/CloneNotSupportedException,ptolemy/kernel/util/NameDuplicationExceptionjavax/swing/JMenuItemjavax/swing/JButtonptolemy/kernel/util/Workspacediva/canvas/CompositeFigurejava/awt/geom/Rectangle2Ddiva/canvas/toolbox/BasicFigureptolemy/actor/gui/Tableaujava/lang/StringNONEaddWindowListener"(Ljava/awt/event/WindowListener;)V setVisible()I _viewMenu addSeparatordiva/gui/GUIUtilities addMenuItem@(Ljavax/swing/JMenu;Ljavax/swing/Action;)Ljavax/swing/JMenuItem;(Ljava/lang/String;)V setMnemonic(I)V_menubarLjavax/swing/JMenuBar;javax/swing/JMenuBaradd((Ljavax/swing/JMenu;)Ljavax/swing/JMenu;_toolbarLjavax/swing/JToolBar;addToolBarButtonA(Ljavax/swing/JToolBar;Ljavax/swing/Action;)Ljavax/swing/JButton;$ptolemy/vergil/gt/MatchResultTableau!()Lptolemy/kernel/util/Workspace; getReadAccess attributeList#(Ljava/lang/Class;)Ljava/util/List;isEmpty()Z uniqueName&(Ljava/lang/String;)Ljava/lang/String;3(Lptolemy/kernel/util/NamedObj;Ljava/lang/String;)V setPersistent*(Ljava/lang/Throwable;Ljava/lang/String;)V entityListiterator()Ljava/util/Iterator;hasNextnext()Ljava/lang/Object;classDefinitionList()Ljava/util/List; doneReadingappend-(Ljava/lang/String;)Ljava/lang/StringBuilder;getName()Ljava/lang/String;toStringE(Ljava/lang/Object;Lptolemy/kernel/util/NamedObj;Ljava/lang/String;)V requestChange&(Lptolemy/kernel/util/ChangeRequest;)V java/util/Setremove(Ljava/lang/Object;)Z_getGraphModel0()Lptolemy/vergil/basic/AbstractBasicGraphModel;#ptolemy/vergil/gt/GTFrameController stopUpdategetModel ()Lptolemy/kernel/util/NamedObj; getFrames()[Ljava/awt/Frame; getEffigy()Lptolemy/actor/gui/Effigy; setModifiedclose getUndoInfoH(Lptolemy/kernel/util/NamedObj;)Lptolemy/kernel/undo/UndoStackAttribute;clone3(Lptolemy/kernel/util/Workspace;)Ljava/lang/Object; setContainer!(Lptolemy/kernel/util/NamedObj;)V setEnabledptolemy/actor/gt/GTTools cleanupModel](Lptolemy/kernel/util/NamedObj;Lptolemy/kernel/util/Workspace;)Lptolemy/kernel/util/NamedObj;H(Lptolemy/kernel/util/Nameable;Ljava/lang/Throwable;Ljava/lang/String;)VI(Lptolemy/vergil/gt/MatchResultViewer;Lptolemy/kernel/CompositeEntity;I)Vptolemy/vergil/gt/GTFrameTools changeModelk(Lptolemy/vergil/basic/BasicGraphFrame;Lptolemy/kernel/CompositeEntity;ZZLptolemy/kernel/undo/UndoAction;)V#ptolemy/actor/gt/TransformationRule getPattern()Lptolemy/actor/gt/Pattern;setMatchCallback#(Lptolemy/actor/gt/MatchCallback;)Vmatch=(Lptolemy/actor/gt/Pattern;Lptolemy/kernel/CompositeEntity;)Z getResults startUpdateget(I)Ljava/lang/Object; containsValueNEXTPREVIOUS,(Ljava/lang/String;)Ljava/lang/StringBuffer;(C)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer; _statusBarLptolemy/gui/StatusBar;ptolemy/gui/StatusBar setMessage progressBar()Ljavax/swing/JProgressBar;javax/swing/JProgressBar setMaximumsetValuesetStrokePaint(Ljava/awt/Paint;)V(F)V setStroke(Ljava/awt/Stroke;)VgetBackgroundFigure()Ldiva/canvas/Figure;diva/canvas/Figure getBounds()Ljava/awt/geom/Rectangle2D;getX()DgetYgetWidth getHeight(DDDDF)VgetFigureCount(ILdiva/canvas/Figure;)V(DDDDLjava/awt/Paint;FDD)V_getGraphController()Ldiva/graph/GraphController;diva/graph/GraphControllerrerender isModifiedgetFrameController'()Lptolemy/vergil/gt/GTFrameController;getConfiguration#()Lptolemy/actor/gui/Configuration;ptolemy/actor/gui/Configuration openModel;(Lptolemy/kernel/util/NamedObj;)Lptolemy/actor/gui/Tableau; getContaineruri(Lptolemy/kernel/attributes/URIAttribute;&ptolemy/kernel/attributes/URIAttributesetURI(Ljava/net/URI;)VequalssetTitlegetFrame()Ljavax/swing/JFrame;ptolemy/util/MessageHandlererror*(Ljava/lang/String;Ljava/lang/Throwable;)V>(Lptolemy/kernel/util/NamedObj;)Lptolemy/kernel/util/NamedObj;!ptolemy/actor/gt/GraphTransformer transformK(Lptolemy/actor/gt/TransformationRule;Lptolemy/actor/gt/data/MatchResult;)Vjava/lang/Mathrandom yesNoQuestion(Ljava/lang/String;)Z(III)V!y       !"#$%&'()*+,-.'/0123454678J*+,9 st: ;1<=>?6@86*+,-*****Y****9* ~)-15:*6;16<=6>?6ABCD86*9 : ;1EF8/*9: ;1GH8n&*** *!"*#"9 %:&;1&IJK8g *+,-$9 :* ;1 L* M, N&O  N('PJQ8I*+*,*-%-&6 **d****'96  ',7<@DH:>I;1IL*IM,IN&IR2SO IN(T''UVH8F **9 : ;1 WXH8F **9 : ;1 YZD8'*()Y**L+Y*,M-Y*.N/Y*0:1Y*2:3Y*4:5Y*6:*78**7+9:**7,9;**7-9**79 *?*?TA**?9B**?9C*?9W*D*?EW**F-G!**F+GH**F,GI**FG#**FGJ**FGK*FGW**L*9v )3=GNZfr"&:R';1 [\]^_`)ab3cd=efGghij83 MY*N9:  ;1kj83 OY*P9:  ;1 lm8QM+RS+,TN-U&QY++VWXY:[Y\]+^_`:ab:*^c+d`:a b:^ *^c+Re:+Re+.Z9V    ! (+.0<\eh:H0 no\ pqpqr&sq<=tuOrvtwT1 .xyz{| } }#I~ m8 +RS+QTM,`N-aF-b:Q:fYghijikil:mY*+n:+o+^_`N-a-b:*^p+Re:+Re9B#$ %&&'-(K*X,^-a.~/02324:R-1K,X&8q~ pq|r&sq<=O |rvT{}K }I~ D8'*"*YL*q*rW+çM+,!!$!9789:&<: ';1T!x~D8; *stu9  :  ;1D8 *vwLxM,>6,2:*y{y:v+kY:*%%******q*zW*ç : k**{Y|qB9V,3<B K T ] f ox:*3q1;1T<x~D8H* *9*q}L+a&+byM,,~N--,ױ9*  .!2"7#;$@&D(G*: 7 .1H;1T }$8+N-,:,9/01 023:4;1D8*:)*%"*:*%U**H)*%"*H*%U**;(*%!*;**%&d*I(*%!*I**%&d**%***!*%*!** *%* **#*%*#**B-*%&*B**%&**J-*%&*J**%&**C-*%&*C**%&**K-*%&*K**%&*9r67-:;;Z>h?ABDEGHJKM NP$QGTUUxXYZY\]^a: ;1Tihggllll8 *v^M,R:,^N,:Y,**-Y*+**-cY:*5*:Y:Y:-W:******st!9^dfhjn!k#l0o7pKtPvYw`xiyrz{{|}:p # ni)r {;1== =0=Y\N&O Y\N(T6!yyyyyF{8}4*%.**%&*%*+9.2:4;14T2D8T**%&dD*Y`**'*q}L+a+byM, **'9*  'DHKOS:D1T;1T 1}D86**q}L+a+byM,**'9$),15:$16;1T }D8I*D*Yd**'*q}L+a+byM, **'9* 9=@DH:91I;1T &}D86**q}L+a+byM,**'9$),15:$16;1T }D8* *'YL*+W+*W+W*%1+(W+*`W+/W+*%&W+)W*+=*%(*%&=***`*q}N-aA-by:+*% *`9j '07>EPWelwy:*01y};1T%48 }C83,.+**,N-+:-Y9 $2:4 3;133qT28Qz,u+q*,N-d+: 8Yggkckc:-+66+ű9: #&5K]cinqy:R#V&S ]ie z;1zzqT-qxx8i,+*%**%&*%*,h+N 8Y-g-g-kc-kcǷ:+66+ű9:*9CFSg   :HC[FX ;1qT*xxD88 *˹9  :  ;1D8*<***v^M,RN,-^:-,*϶:Ӵ:׶ؙ::ܙݧ M,9V  %"*#3$8%G&N'X(\*c+j,v-2/03:\ l=g%]=8J>?N4,jn;1T,\yy%BD8B**v^L+^M*+,**%* N-*, 149. 68 ;<>1B4?5@;A<CAD:45nB;1 6= =<=T4yyD8**v^L+^M**v,N6*%U*%&k6**%Y:- YN--*+W*%d!*%U6 6p N-*, 9vGI LMOP"Q.R?STT]UaViXoY|Z\]_`ghjlpmnoqr:f ?s]U"n;1 ===T>"yyF#!yy8E*+,9e: 1q8E*+,9e: 1q8E*+,9e: 1q8/*9e: 18/* 9e: 18/* 9e: 18/* 9e: 18/* 9e: 18/* 9e: 18/*9e: 18/*9e: 18E*+,9e: 18/*9e: 18/*9e: 18/*9e: 18/*9e: 18/*9e: 1D8+Yp9ty3y1y-y)y/y+y5yyyyyyOyyMyyy@QS tz|