001/** 002 * 003 * Copyright 2018 Florian Schmaus 004 * 005 * Licensed under the Apache License, Version 2.0 (the "License"); 006 * you may not use this file except in compliance with the License. 007 * You may obtain a copy of the License at 008 * 009 * http://www.apache.org/licenses/LICENSE-2.0 010 * 011 * Unless required by applicable law or agreed to in writing, software 012 * distributed under the License is distributed on an "AS IS" BASIS, 013 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 014 * See the License for the specific language governing permissions and 015 * limitations under the License. 016 */ 017package org.igniterealtime.smack.smackrepl; 018 019import java.io.PrintWriter; 020import java.lang.reflect.InvocationTargetException; 021import java.util.Collections; 022 023import org.jivesoftware.smack.fsm.StateDescriptor; 024import org.jivesoftware.smack.fsm.StateDescriptorGraph; 025import org.jivesoftware.smack.fsm.StateDescriptorGraph.GraphVertex; 026import org.jivesoftware.smack.tcp.XmppNioTcpConnection; 027 028public class StateGraph { 029 030 @SuppressWarnings("DefaultCharset") 031 public static void main(String[] args) throws InstantiationException, IllegalAccessException, 032 IllegalArgumentException, InvocationTargetException, NoSuchMethodException, SecurityException { 033 GraphVertex<StateDescriptor> stateGraph = StateDescriptorGraph.constructStateDescriptorGraph(XmppNioTcpConnection.getBackwardEdgesStateDescriptors()); 034 035 PrintWriter pw = new PrintWriter(System.out); 036 037 boolean breakStateName = args.length == 0; 038 039 StateDescriptorGraph.stateDescriptorGraphToDot(Collections.singleton(stateGraph), pw, breakStateName); 040 041 pw.flush(); 042 } 043 044}