@Test public void testCanReturnNormally() throws Exception { Assert.assertTrue(normal.isValid()); Assert.assertTrue(normal.canReturnNormally()); }
public boolean canReturnNormally() throws DataflowAnalysisException { if (!isValid()) { throw new DataflowAnalysisException("Checking invalid ReturnPathType"); } return type == CAN_RETURN_NORMALLY; }
ReturnPathType { public boolean canReturnNormally() throws DataflowAnalysisException { if (!isValid()) { throw new DataflowAnalysisException("Checking invalid ReturnPathType"); } return type == CAN_RETURN_NORMALLY; } }
ReturnPathType { public boolean canReturnNormally() throws DataflowAnalysisException { if (!isValid()) { throw new DataflowAnalysisException("Checking invalid ReturnPathType"); } return type == CAN_RETURN_NORMALLY; } ReturnPathType(); }
ReturnPathType { public boolean canReturnNormally() throws DataflowAnalysisException { if (!isValid()) { throw new DataflowAnalysisException("Checking invalid ReturnPathType"); } return type == CAN_RETURN_NORMALLY; } ReturnPathType(); boolean canReturnNormally(); void copyFrom(ReturnPathType other); void setTop(); boolean isTop(); void setCanReturnNormally(boolean canReturnNormally); void mergeWith(ReturnPathType fact); boolean isValid(); @Override String toString(); }
ReturnPathType { public boolean canReturnNormally() throws DataflowAnalysisException { if (!isValid()) { throw new DataflowAnalysisException("Checking invalid ReturnPathType"); } return type == CAN_RETURN_NORMALLY; } ReturnPathType(); boolean canReturnNormally(); void copyFrom(ReturnPathType other); void setTop(); boolean isTop(); void setCanReturnNormally(boolean canReturnNormally); void mergeWith(ReturnPathType fact); boolean isValid(); @Override String toString();  }