Java Collection Concatenate concatenatedLTL(Collection ltl)

Here you can find the source of concatenatedLTL(Collection ltl)

Description

concatenated LTL

License

Open Source License

Declaration

private static String concatenatedLTL(Collection<String> ltl) 

Method Source Code

//package com.java2s;
/* Copyright (c) 2006, 2007, 2008 Neil Walkinshaw and Kirill Bogdanov
 * /*from   ww  w  . j  av  a  2  s  .  co m*/
 * This file is part of StateChum
 * 
 * StateChum is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * StateChum is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with StateChum.  If not, see <http://www.gnu.org/licenses/>.
 */

import java.util.*;

public class Main {
    private static String concatenatedLTL(Collection<String> ltl) {
        String ltlString = "";
        for (String string : ltl) {
            if (!ltlString.equals(""))
                ltlString = ltlString.concat(" || " + string);
            else
                ltlString = ltlString.concat(string);
        }
        return ltlString;
    }
}

Related

  1. concatElements(final Collection c, final String separator)
  2. concatenate(Collection collections)
  3. concatenate(Collection coll)
  4. concatenate(Collection list)
  5. concatenate(final Collection objects, final String separator)
  6. concatenateIds(final Collection ids)
  7. concatenateWithComma(Collection collection)
  8. concatEntries(Collection coll, String sep, String lastSep)
  9. concatInt(Collection collection)