private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.clu"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".clu"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.gapp"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".gapp"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.c"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".c"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.c"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".c"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".v"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.cpp.g"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".cpp.g"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.tex"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".tex"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.c"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".c"; } return filename; }
private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.dot"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".dot"; } return filename; }
/** * Generates a filename for a control flow graph * @param in the control flow graph * @return The filename */ private String generateFilename(ControlFlowGraph in) { String filename = "gaalop.java"; if (in.getSource() != null) { filename = in.getSource().getName(); int lastDotIndex = filename.lastIndexOf('.'); if (lastDotIndex != -1) { filename = filename.substring(0, lastDotIndex); } filename += ".java"; } return filename; }