public class SeedStringBuilder extends Object
| Constructor and Description |
|---|
SeedStringBuilder() |
SeedStringBuilder(int num,
int length) |
SeedStringBuilder(String s) |
public SeedStringBuilder()
public SeedStringBuilder(String s)
public SeedStringBuilder(int num,
int length)
public SeedStringBuilder append(String s)
public SeedStringBuilder append(char c)
public SeedStringBuilder append(String s, int length) throws SeedException
SeedExceptionpublic SeedStringBuilder append(int num, int length)
public SeedStringBuilder append(BTime time)
public SeedStringBuilder append(Float value, String format, int width)
public SeedStringBuilder append(Zero zero, String format, int width)
public SeedStringBuilder append(Pole pole, String format, int width)
public SeedStringBuilder appendLatitude(double value)
public SeedStringBuilder appendLongitude(double value)
public SeedStringBuilder appendElevation(double value) throws SeedException
SeedExceptionpublic SeedStringBuilder appendLocalDepth(double value)
public SeedStringBuilder appendAzimuth(double value)
public SeedStringBuilder appendDip(double value)
public SeedStringBuilder append(double value, String format, int width)
public SeedStringBuilder replace(int start, int end, int num, String mask)
public int length()
public SeedStringBuilder leftPad(String string, int length, char kar)
public SeedStringBuilder leftPad(int value, int length, char kar)
public SeedStringBuilder rightPad(String string, int length, char kar)
public SeedStringBuilder rightPad(int num, int length, char kar)
Copyright © 2018. All rights reserved.