Package it.unive.lisa.imp.constructs

Class StringSubstring

  • All Implemented Interfaces:
    it.unive.lisa.program.cfg.CodeMember
    public class StringSubstring
extends it.unive.lisa.program.cfg.NativeCFG
    The native construct representing the substring operation. This construct can be invoked on a string variable x with x.substring(start, end), where start is an integer representing the index where the substring starts (inclusive) and end is an integer representing the index where the substring ends (exclusive).

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  StringSubstring.IMPStringSubstring
      An expression modeling the string substring operation.

    • Constructor Summary

      Constructors 
      Constructor Description
      StringSubstring​(it.unive.lisa.program.cfg.CodeLocation location, it.unive.lisa.program.ClassUnit stringUnit)
      Builds the construct.

    • Method Summary

      • Methods inherited from class it.unive.lisa.program.cfg.NativeCFG

        getDescriptor, rewrite, toString

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface it.unive.lisa.program.cfg.CodeMember

        validate

    • Constructor Detail

      • StringSubstring

        public StringSubstring​(it.unive.lisa.program.cfg.CodeLocation location,
                       it.unive.lisa.program.ClassUnit stringUnit)
        Builds the construct.
        Parameters:
        location - the location where this construct is defined
        stringUnit - the unit where this construct is defined