content: /**
   *  Copyright (c) 2013-2016 Angelo ZERR and Genuitec LLC.
   *  All rights reserved. This program and the accompanying materials
   *  are made available under the terms of the Eclipse Public License v1.0
   *  which accompanies this distribution, and is available at
   *  http://www.eclipse.org/legal/epl-v10.html
   *
   *  Contributors:
   *  Piotr Tomiak <piotr@genuitec.com> - initial API and implementation
   */
  package tern.server.protocol.completions;
  
  public class TernCompletionProposalRec {
  
  	public final String name;
  	public final String displayName;
  	public final String type;
  	public final String doc;
  	public final String url;
  	public final String origin;
  	public final int start;
  	public final int end;
  	public final boolean isProperty;
  	public final boolean isObjectKey;
  	public final boolean isSpecifier;
  
  	public TernCompletionProposalRec(String name, String type, String doc,
  			String url, String origin) {
  		this(name, null, type, doc, url, origin, -1, -1, false, false, false);
  	}
  	
  	public TernCompletionProposalRec(String name, String type, String doc,
  			String url, String origin, int start, int end) {
  		this(name, null, type, doc, url, origin, start, end, false, false, false);
  	}
  
  	public TernCompletionProposalRec(String name, String displayName,
  			String type, String doc, String url, String origin, int start,
  			int end, boolean isProperty, boolean isObjectKey, boolean isSpecifier) {
  		this.name = name;
  		this.displayName = displayName;
  		this.type = type;
  		this.doc = doc;
  		this.url = url;
  		this.origin = origin;
  		this.start = start;
  		this.end = end;
  		this.isProperty = isProperty;
  		this.isObjectKey = isObjectKey;
  		this.isSpecifier = isSpecifier;
  	}
  
  	public TernCompletionProposalRec changeType(String newType) {
  		return new TernCompletionProposalRec(name, displayName, newType, doc,
  				url, origin, start, end, isProperty, isObjectKey, isSpecifier);
  	}
  
  }
  