public class Strings
extends java.lang.Object
String
sConstructor and Description |
---|
Strings() |
Modifier and Type | Method and Description |
---|---|
static boolean |
containsWholeWord(java.lang.String s,
java.lang.String word)
Checks whether a string contains another one as a whole word
(i.e., separated by whitespaces or a semicolon at the end).
|
static boolean |
isJMLComment(java.lang.String comment)
There are different kinds of JML markers.
|
public static boolean containsWholeWord(java.lang.String s, java.lang.String word)
s
- string to search inword
- string to be searched forpublic static boolean isJMLComment(java.lang.String comment)
comment
- Copyright © 2003-2019 The KeY-Project.