314315316317318319320
* need to change this code, rather than more code throughout the whole * class. */ private LogicalTime convertTime(double time) { // PORTICO SPECIFIC!! return new DoubleTime(time); }
162163164165166167168
* to change this code, rather than more code throughout the whole class. */ private LogicalTime convertTime( double time ) { // PORTICO SPECIFIC!! return new DoubleTime( time ); }
322323324325326327328
/** * Same as for {@link #convertTime(double)} */ private LogicalTimeInterval convertInterval(double time) { // PORTICO SPECIFIC!! return new DoubleTimeInterval(time); }
171172173174175176177
* Same as for {@link #convertTime(double)} */ private LogicalTimeInterval convertInterval( double time ) { // PORTICO SPECIFIC!! return new DoubleTimeInterval( time ); }