docheck outputdot.java

testing to see if upload works or see if upload works or notsee if upload works or not

VertexNameProvider<MyNode> vertexName = new VertexNameProvider<MyNode>()
		{

			public String getVertexName(MyNode arg0)
			{
				// Define graph nodes: NodeName [ label = "visible information"]
				// NodeName -- arbitrary, but must be unique)
				// for Component nodes use: NodeName "Component" [version_list]
				// for all other Nodes use: NodeName NodeType
				// ex: B [label = "B\nComponent\n[v0.4 v1.1]"]
				// ex: And_1 [label = "And_1\nRelation:And"]
				/*if (arg0 instanceof ComponentNode)
				{
					return arg0.getName() + " [ label = \"" + arg0.getName()
					        + " Component " + arg0.getVersions().toString()
					        + "\"]";
				}
				else if (arg0 instanceof RelationAndNode
				        || arg0 instanceof RelationXorNode)
				{
					return arg0.getName() + " [ label = \"" + arg0.getName()
					        + " " + arg0.getType() + "\"]";
				}
				else
					return "";*/
				
				return "vertex";

			}
		};

		EdgeNameProvider<MyEdge> edgeName = new EdgeNameProvider<MyEdge>()
		{

			public String getEdgeName(MyEdge arg0)
			{
				//return arg0.getParent().getName() + " -> " + arg0.getChild().getName();
				return "edgename";
			}
		};

		VertexNameProvider<MyNode> emptyVertexName = new VertexNameProvider<MyNode>()
		{

			public String getVertexName(MyNode arg0)
			{
				return null;
			}
		};

		DOTExporter<MyNode, MyEdge> output = new DOTExporter<MyNode, MyEdge>(
		        emptyVertexName, null, edgeName);

		output.export(new PrintWriter(System.out), acdg.getGraph().realGraph);