How can i assume method as pure in JML

Now I need to write some jml notes where the method calls other functions like String.length() and I have to assume these funcs are pure.