JavaCompilerCore/resources/AllgemeinTest/Kombinatoren_Satisfy.jav

import java.util.stream.Stream;
//import java.util.List;
import java.util.ArrayList;
import java.io.PrintStream;
import java.lang.System;

//import java.lang.String; 
import java.lang.Boolean;

import java.util.function.Function;

import Pair; 
import Kombinatoren_failure;
     
public class Kombinatoren_Satisfy {  
    
    kb = new Kombinatoren_failure();

    satisfy(cond) { 
	//	return () -> Stream.of (newToks -> new Kombinatoren_failure().failure().apply().map(x -> x.apply(newToks)));
    //}
		return () -> Stream.of (toks -> { 
			if(toks.isEmpty()) { 
				return new ArrayList<>().stream(); 
			}
			else 
			{
				var fst = toks.getFirst();
				if (cond.apply(fst)) 
				{ 
					 //var newToks = List.copyOf(toks.subList(1, toks.size()));
					 var newToks = new ArrayList<>(toks);
					 return newToks.removeFirst();
					 kb.getContent(
					 	kb.succeed(fst).apply().map(x -> x.apply(newToks))
						);
				//	 ;
					 
				}
			}		  
		
		}
		); 
	}
 /*     () -> Stream.of (toks -> {
            //System.out.println(toks);
            if(toks.isEmpty()) 
			{
                return new ArrayList<>().stream(); 
			}
            else {
                var fst = toks.getFirst();
                if (cond.apply(fst)) 
				{
                        var newToks = List.copyOf(toks.subList(1, toks.size()));
                    //System.out.println("satisfy ok " + fst.toString());
                    //return get(succeed(fst).apply().map(x -> x.apply(newToks)));
                }
                else {
                    //System.out.println("satisfy failure " + fst.toString());
                    //return get(failure().apply()).apply(toks);
                }
				return new ArrayList<>().stream();
            } } ) ;
    }
*/

	
}