/**
* Copyright (c) 2009-2011, The HATS Consortium. All rights reserved.
* This file is licensed under the terms of the Modified BSD License.
*/
package deadlock.analyser.factory;
public class TypingEnvironmentFutureTypeUntick implements ITypingEnvironmentFutureType {
IRecord r;
ContractElementInvk c;
public TypingEnvironmentFutureTypeUntick(IRecord r, ContractElementInvk c){
this.r = r;
this.c = c;
}
public IRecord getRecord(){return r;}
public ContractElementInvk getContract(){return c;}
}