output_dot


Description:

public void output_dot (FileStream fp)

Generate dot file for this element. Diamond square with a yes and a no out arrow.