Here you can find the source of negate(String expr)
public static String negate(String expr)
//package com.java2s; /*//from w w w .java 2 s . com * Copyright 2011 JBoss Inc * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ public class Main { private static final String NEG = "ObjectComplementOf"; public static String negate(String expr) { if (expr.startsWith(NEG)) { return expr.substring(NEG.length() + 1, expr.length() - 1); } else { return NEG + "(" + expr + ")"; } } }