public DefiniteAssignmentStatus getStatusBefore(final Statement statement) { return beginNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getStatusAfter(final Statement statement) { return endNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getBeforeLoopCondition(final Statement statement) { return conditionNodeMap.get(statement).getNodeStatus(); }
private void changeNodeStatus(final DefiniteAssignmentNode node, final DefiniteAssignmentStatus inputStatus) { if (node.getNodeStatus() == inputStatus) { return;
private void changeNodeStatus(final DefiniteAssignmentNode node, final DefiniteAssignmentStatus inputStatus) { if (node.getNodeStatus() == inputStatus) { return;
private void changeNodeStatus(final DefiniteAssignmentNode node, final DefiniteAssignmentStatus inputStatus) { if (node.getNodeStatus() == inputStatus) { return;
public DefiniteAssignmentStatus getBeforeLoopCondition(final Statement statement) { return conditionNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getStatusAfter(final Statement statement) { return endNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getStatusBefore(final Statement statement) { return beginNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getBeforeLoopCondition(final Statement statement) { return conditionNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getStatusAfter(final Statement statement) { return endNodeMap.get(statement).getNodeStatus(); }
public DefiniteAssignmentStatus getStatusBefore(final Statement statement) { return beginNodeMap.get(statement).getNodeStatus(); }
public boolean isPotentiallyAssigned() { for (final DefiniteAssignmentNode node : allNodes) { final DefiniteAssignmentStatus status = node.getNodeStatus(); if (status == null) return true; switch (status) { case POTENTIALLY_ASSIGNED: case DEFINITELY_ASSIGNED: case ASSIGNED_AFTER_TRUE_EXPRESSION: case ASSIGNED_AFTER_FALSE_EXPRESSION: return true; } } return false; }
public boolean isPotentiallyAssigned() { for (final DefiniteAssignmentNode node : allNodes) { final DefiniteAssignmentStatus status = node.getNodeStatus(); if (status == null) return true; switch (status) { case POTENTIALLY_ASSIGNED: case DEFINITELY_ASSIGNED: case ASSIGNED_AFTER_TRUE_EXPRESSION: case ASSIGNED_AFTER_FALSE_EXPRESSION: return true; } } return false; }
public boolean isPotentiallyAssigned() { for (final DefiniteAssignmentNode node : allNodes) { final DefiniteAssignmentStatus status = node.getNodeStatus(); if (status == null) return true; switch (status) { case POTENTIALLY_ASSIGNED: case DEFINITELY_ASSIGNED: case ASSIGNED_AFTER_TRUE_EXPRESSION: case ASSIGNED_AFTER_FALSE_EXPRESSION: return true; } } return false; }