| 23 | package pascal.taie.language.annotation; |
| 24 | |
| 25 | public record DoubleElement(double value) implements Element { |
| 26 | |
| 27 | @Override |
| 28 | public String toString() { |
| 29 | return Double.toString(value); |
| 30 | } |
| 31 | } |
nothing calls this directly
no outgoing calls
no test coverage detected