FileWithPosition (MPS.Core (JetBrains MPS 2019.1.0))

java.lang.Object
- jetbrains.mps.make.FileWithPosition

public final class FileWithPosition
extends Object

- Constructor Summary
  
  Constructors
  Constructor Description
  
  FileWithPosition(File file, int offset)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  File getFile()
  
  int getOffset()
  
  String toString()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FileWithPosition

public FileWithPosition(File file,
                        int offset)

Method Detail

getFile
```
public File getFile()
```

getOffset
```
public int getOffset()
```

toString
```
public String toString()
```
Overrides:

toString in class Object