Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IString.replace()

730
731
732
733
734
735
736
737
738
739
740
          if(!repl.getType().isString()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }
         
          __eval.__setValue(__eval.newResult(str, __eval.__getValue()));
          str = str.replace(firstIndex, secondIndex, endIndex, (IString) repl);
         
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(str.getType()) : rec.getType(), str,
                  __eval.__getEval());
View Full Code Here
879
880
881
882
883
884
885
886
887
888
889
          if(!repl.getType().isString()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }
         
          __eval.__setValue(__eval.newResult(str, __eval.__getValue()));
          str = str.replace(firstIndex, secondIndex, endIndex, (IString) repl);
         
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(str.getType()) : rec.getType(), str,
                  __eval.__getEval());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.